Cristian Cadar

Cristian Cadar publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Cristian Cadar sits on this spectrum.

Cristian Cadar D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Cristian Cadar sits on this spectrum.

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