Cristian Cadar

Best Publications

• KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

  Cristian Cadar;Daniel Dunbar;Dawson Engler

  3773
  Citations

• EXE: Automatically Generating Inputs of Death

  Cristian Cadar;Vijay Ganesh;Peter M. Pawlowski;David L. Dill

  2738
  Citations

• EXE: automatically generating inputs of death

  Cristian Cadar;Vijay Ganesh;Peter M. Pawlowski;David L. Dill

  1186
  Citations

• Symbolic execution for software testing: three decades later

  Cristian Cadar;Koushik Sen

  1018
  Citations

• Symbolic execution for software testing in practice: preliminary assessment

  Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  478
  Citations

• Enhancing server availability and security through failure-oblivious computing

  Martin Rinard;Cristian Cadar;Daniel Dumitran;Daniel M. Roy

  470
  Citations

• Preventing Memory Error Exploits with WIT

  P. Akritidis;C. Cadar;C. Raiciu;M. Costa

  432
  Citations

• Execution generated test cases: how to make systems code crash itself

  Cristian Cadar;Dawson Engler

  357
  Citations

• RWset: attacking path explosion in constraint-based test generation

  Peter Boonstoppel;Cristian Cadar;Dawson Engler

  351
  Citations

• KATCH: high-coverage testing of software patches

  Paul Dan Marinescu;Cristian Cadar

  192
  Citations

• Automatically generating malicious disks using symbolic execution

  Junfeng Yang;Can Sar;P. Twohey;C. Cadar

  154
  Citations

• A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)

  M. Rinard;C. Cadar;D. Dumitran;D.M. Roy

  137
  Citations

• Fuzzing: Challenges and Reflections

  Marcel Boehme;Cristian Cadar;Abhik Roychoudhury

  131
  Citations

• Safe software updates via multi-version execution

  Petr Hosek;Cristian Cadar

  120
  Citations

• Symbolic crosschecking of floating-point and SIMD code

  Peter Collingbourne;Cristian Cadar;Paul H.J. Kelly

  113
  Citations

• make test-zesti: a symbolic execution solution for improving regression testing

  Paul Dan Marinescu;Cristian Cadar

  101
  Citations

• Multi-solver support in symbolic execution

  Hristina Palikareva;Cristian Cadar

  101
  Citations

• VARAN the Unbelievable: An Efficient N-version Execution Framework

  Petr Hosek;Cristian Cadar

  96
  Citations

• Chopped symbolic execution

  David Trabish;Andrea Mattavelli;Noam Rinetzky;Cristian Cadar

  91
  Citations

• Symbolic testing of OpenCL code

  Peter Collingbourne;Cristian Cadar;Paul H. J. Kelly

  72
  Citations