Cristian Cadar
Cited by
Cited by
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
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
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
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
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
Preventing memory error exploits with WIT
P Akritidis, C Cadar, C Raiciu, M Costa, M Castro
2008 IEEE Symposium on Security and Privacy (sp 2008), 263-277, 2008
Execution generated test cases: How to make systems code crash itself
C Cadar, D Engler
Model Checking Software, 2005
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
KATCH: High-Coverage Testing of Software Patches
PD Marinescu, C Cadar
European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013
Automatically generating malicious disks using symbolic execution
J Yang, C Sar, P Twohey, C Cadar, D Engler
2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006
Safe software updates via multi-version execution
P Hosek, C Cadar
Proceedings of the 2013 International Conference on Software Engineering …, 2013
A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)
M Rinard, C Cadar, D Dumitran, DM Roy, T Leu
20th Annual Computer Security Applications Conference, 82-90, 2004
Fuzzing: Challenges and Reflections
M Boehme, C Cadar, A Roychoudhury
IEEE Software 38 (3), 2021
Data randomization
C Cadar, P Akritidis, M Costa, JP Martin, M Castro
Technical Report MSR-TR-2008-120, Microsoft Research, 2008
VARAN the Unbelievable: An Efficient N-version Execution Framework
P Hosek, C Cadar
Proceedings of the Twentieth International Conference on Architectural …, 2015
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
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
Multi-solver Support in Symbolic Execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification (CAV 2013), 53-68, 2013
Chopped Symbolic Execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
ACM/IEEE 40th International Conference on Software Engineering, 2018
Shadow of a Doubt: Testing for Divergences Between Software Versions
H Palikareva, T Kuchta, C Cadar
International Conference on Software Engineering (ICSE 2016), 2016
The system can't perform the operation now. Try again later.
Articles 1–20