Cristian Cadar, Ph.D.
Affiliations: | 2009 | Stanford University, Palo Alto, CA |
Google:
"Cristian Cadar"Parents
Sign in to add mentor| Dawson Engler | grad student | 2009 | Stanford | |
| (Symbolic execution for testing complex software.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Cadar C, Nowack M. (2020) KLEE symbolic execution engine in 2019 International Journal On Software Tools For Technology Transfer. 1-4 |
| Kuchta T, Palikareva H, Cadar C. (2018) Shadow Symbolic Execution for Testing Software Patches Acm Transactions On Software Engineering and Methodology. 27: 10 |
| Song J, Cadar C, Pietzuch P. (2014) SymbexNet : Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications Ieee Transactions On Software Engineering. 40: 695-709 |
| Collingbourne P, Cadar C, Kelly PHJ. (2014) Symbolic Crosschecking of Data-Parallel Floating-Point Code Ieee Transactions On Software Engineering. 40: 710-737 |
| Cadar C, Sen K. (2013) Symbolic execution for software testing: three decades later Communications of the Acm. 56: 82-90 |
| Cadar C, Ganesh V, Pawlowski PM, et al. (2008) EXE: Automatically generating inputs of death Acm Transactions On Information and System Security. 12 |