Cristian Cadar

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Symbolic execution for software testing: three decades later

Cristian Cadar and others (2013) · Association for Computing Machinery (ACM)

RWset: Attacking Path Explosion in Constraint-Based Test Generation

Peter Boonstoppel and others (2008) · Springer Berlin Heidelberg

EXE: Automatically generating inputs of death

Cristian Cadar and others (2008) · ACM Transactions on Information and System Security · Association for Computing Machinery

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

Cristian Cadar and others (2008) · OSDI