Cristian Cadar

Cristian Cadar

Imperial College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1260639
person_outline Cristian Cadar's MOST POPULAR ARTICLES
1-) KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programsC Cadar, D Dunbar, D EnglerUSENIX conference on Operating Systems Design and Implementation (OSDI), 209-224, 200837732008
2-) EXE: A system for automatically generating inputs of death using symbolic executionC Cadar, V Ganesh, P Pawlowski, D Dill, D EnglerProceedings of the ACM Conference on Computer and Communications Security, 20061523*2006
3-) Symbolic execution for software testing: three decades laterC Cadar, K SenCommunications of the ACM 56 (2), 82-90, 20139392013
4-) Symbolic execution for software testing in practice: preliminary assessmentC Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ...International Conference on Software Engineering, Impact Track (ICSE Impact …, 20115212011
5-) Enhancing server availability and security through failure-oblivious computingM Rinard, C Cadar, D Dumitran, DM Roy, T Leu, WS Beebee JrProceedings of the 6th conference on Symposium on Opearting Systems Design …, 20044702004