World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
34
Citations
13395
World Ranking
11880
National Ranking
752

Best Publications

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

    Cristian Cadar;Daniel Dunbar;Dawson Engler

  • EXE: Automatically Generating Inputs of Death

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

  • EXE: automatically generating inputs of death

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

  • Symbolic execution for software testing: three decades later

    Cristian Cadar;Koushik Sen

  • Symbolic execution for software testing in practice: preliminary assessment

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

  • Enhancing server availability and security through failure-oblivious computing

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

  • Preventing Memory Error Exploits with WIT

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

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

    Cristian Cadar;Dawson Engler

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

    Peter Boonstoppel;Cristian Cadar;Dawson Engler

  • KATCH: high-coverage testing of software patches

    Paul Dan Marinescu;Cristian Cadar

  • Automatically generating malicious disks using symbolic execution

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

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

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

  • Fuzzing: Challenges and Reflections

    Marcel Boehme;Cristian Cadar;Abhik Roychoudhury

  • Safe software updates via multi-version execution

    Petr Hosek;Cristian Cadar

  • Symbolic crosschecking of floating-point and SIMD code

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

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

    Paul Dan Marinescu;Cristian Cadar

  • Multi-solver support in symbolic execution

    Hristina Palikareva;Cristian Cadar

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

    Petr Hosek;Cristian Cadar

  • Chopped symbolic execution

    David Trabish;Andrea Mattavelli;Noam Rinetzky;Cristian Cadar

  • Symbolic testing of OpenCL code

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

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: