Cristian Cadar
TitleCited byYear
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
C Cadar, D Dunbar, D Engler
USENIX conference on Operating Systems Design and Implementation (OSDI), 209-224, 2008
25772008
EXE: A system for automatically generating inputs of death using symbolic execution
C Cadar, V Ganesh, P Pawlowski, D Dill, D Engler
Proceedings of the ACM Conference on Computer and Communications Security, 2006
1236*2006
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
5452013
Enhancing server availability and security through failure-oblivious computing
M Rinard, C Cadar, D Dumitran, DM Roy, T Leu, WS Beebee Jr
Proceedings of the 6th conference on Symposium on Opearting Systems Design …, 2004
4082004
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ...
International Conference on Software Engineering, Impact Track (ICSE Impact …, 2011
3572011
Preventing memory error exploits with WIT
P Akritidis, C Cadar, C Raiciu, M Costa, M Castro
Security and Privacy, 2008. SP 2008. IEEE Symposium on, 263-277, 2008
3112008
Execution generated test cases: How to make systems code crash itself
C Cadar, D Engler
Model Checking Software, 2005
2762005
RWset: Attacking path explosion in constraint-based test generation
P Boonstoppel, C Cadar, D Engler
Tools and Algorithms for the Construction and Analysis of Systems, 351-366, 2008
2602008
A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)
M Rinard, C Cadar, D Dumitran, DM Roy, T Leu
Computer Security Applications Conference, 2004. 20th Annual, 82-90, 2004
1272004
Automatically generating malicious disks using symbolic execution
J Yang, C Sar, P Twohey, C Cadar, D Engler
Security and Privacy, 2006 IEEE Symposium on, 15 pp.-257, 2006
1262006
KATCH: High-Coverage Testing of Software Patches
PD Marinescu, C Cadar
European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013
892013
Symbolic crosschecking of floating-point and SIMD code
P Collingbourne, C Cadar, PHJ Kelly
Proceedings of the sixth conference on Computer systems, 315-328, 2011
802011
Safe software updates via multi-version execution
P Hosek, C Cadar
Proceedings of the 2013 International Conference on Software Engineering …, 2013
772013
make test-zesti: a symbolic execution solution for improving regression testing
PD Marinescu, C Cadar
International Conference on Software Engineering (ICSE 2012), 716-726, 2012
752012
Data randomization
C Cadar, P Akritidis, M Costa, JP Martin, M Castro
Technical Report MSR-TR-2008-120, Microsoft Research, 2008
732008
Multi-solver Support in Symbolic Execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification (CAV 2013), 53-68, 2013
582013
VARAN the Unbelievable: An Efficient N-version Execution Framework
P Hosek, C Cadar
Proceedings of the Twentieth International Conference on Architectural …, 2015
502015
Symbolic testing of OpenCL code
P Collingbourne, C Cadar, PHJ Kelly
Proceedings of the Haifa Verification Conference (HVC), 203-218, 2012
402012
Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
P Marinescu, P Hosek, C Cadar
International Symposium on Software Testing and Analysis (ISSTA 2014), 93-104, 2014
372014
Exploring the acceptability envelope
M Rinard, C Cadar, HH Nguyen
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
342005
The system can't perform the operation now. Try again later.
Articles 1–20