Showing 1 - 9 results of 9 for search 'Cadar, Cristian', query time: 0.07s Refine Results
  1. 1
    Enhancing availability and security through boundless memory blocks
    by Cadar, Cristian
    Published 2006
    Get full text
    Others
  2. 2
    Transparently improving regression testing using symbolic execution
    by Marinescu, Paul Dan
    Published 2014
    Other Authors: “...Cadar, Cristian...”
    Get full text
  3. 3
    Multi-version execution for increasing the reliability and availability of updated software
    by Hosek, Petr
    Published 2015
    Other Authors: “...Cadar, Cristian...”
    Get full text
  4. 4
    Reconfigurable architectures for cryptographic systems
    by Le Masle, Adrien
    Published 2013
    Other Authors: “...Luk, Wayne ; Cadar, Cristian...”
    Get full text
  5. 5
    Practical systematic concurrency testing for concurrent and distributed software
    by Thomson, Paul
    Published 2016
    Other Authors: “...Donaldson, Alastair ; Cadar, Cristian...”
    Get full text
  6. 6
    Enhanced symbolic execution for patch testing and document recovery
    by Kuchta, Tomasz
    Published 2016
    Other Authors: “...Cadar, Cristian ; Donaldson, Alastair...”
    Get full text
  7. 7
    Symbolic execution of verification languages and floating-point code
    by Liew, Daniel Simon
    Published 2017
    Other Authors: “...Donaldson, Alastair ; Cadar, Cristian...”
    Get full text
  8. 8
    Scalable techniques for analysing and testing asynchronous software systems
    by Deligiannis, Pantazis
    Published 2016
    Other Authors: “...Donaldson, Alastair F. ; Cadar, Cristian...”
    Get full text
  9. 9
    Modular verification of equivalence for memory allocating procedures
    by Wood, Timothy
    Published 2016
    Other Authors: “...Drossopoulou, Sophia ; Eisenbach, Susan ; Cadar, Cristian...”
    Get full text
Search Tools: Get RSS Feed — Email this Search