- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Cristian Cadar, Koushik Sen: Symbolic execution for software testing: three decades later. Commun. ACM 56(2): 82-90 (2013) |
| c21 | | |
| 2012 | ||
| c20 | | |
| c19 | | Paul Dan Marinescu, Cristian Cadar: make test-zesti: A symbolic execution solution for improving regression testing. ICSE 2012: 716-726 |
| c18 | | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams: Efficient Argumentation for Medical Decision-Making. KR 2012 |
| c17 | | |
| c16 | | |
| 2011 | ||
| c15 | | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328 |
| c14 | | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly: Symbolic Testing of OpenCL Code. Haifa Verification Conference 2011: 203-218 |
| c13 | | JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch: Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN 2011: 1-8 |
| c12 | | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 |
| c11 | | Tristan O. R. Allwood, Cristian Cadar, Susan Eisenbach: High coverage testing of Haskell programs. ISSTA 2011: 375-385 |
| 2010 | ||
| c10 | | Cristian Cadar, Peter Pietzuch, Alexander L. Wolf: Multiplicity computing: a vision of software engineering for next-generation computing platform applications. FoSER 2010: 81-86 |
| 2008 | ||
| j1 | | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2) (2008) |
| c9 | | Cristian Cadar, Daniel Dunbar, Dawson R. Engler: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI 2008: 209-224 |
| c8 | | Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro: Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy 2008: 263-277 |
| c7 | | Peter Boonstoppel, Cristian Cadar, Dawson R. Engler: RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS 2008: 351-366 |
| 2006 | ||
| c6 | | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: automatically generating inputs of death. ACM Conference on Computer and Communications Security 2006: 322-335 |
| c5 | | Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler: Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy 2006: 243-257 |
| 2005 | ||
| c4 | | Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen: Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30 |
| c3 | | Cristian Cadar, Dawson R. Engler: Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN 2005: 2-23 |
| 2004 | ||
| c2 | | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu: A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC 2004: 82-90 |
| c1 | | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee: Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI 2004: 303-316 |
Colors in the list of coauthors
Last update Sat May 25 06:01:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page