Cristian Cadar, Ph.D. - Publications

2009 Stanford University, Palo Alto, CA 

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Cadar C, Nowack M. KLEE symbolic execution engine in 2019 International Journal On Software Tools For Technology Transfer. 1-4. DOI: 10.1007/S10009-020-00570-3  0.323
2018 Kuchta T, Palikareva H, Cadar C. Shadow Symbolic Execution for Testing Software Patches Acm Transactions On Software Engineering and Methodology. 27: 10. DOI: 10.1145/3208952  0.347
2014 Song J, Cadar C, Pietzuch P. SymbexNet : Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications Ieee Transactions On Software Engineering. 40: 695-709. DOI: 10.1109/Tse.2014.2323977  0.326
2014 Collingbourne P, Cadar C, Kelly PHJ. Symbolic Crosschecking of Data-Parallel Floating-Point Code Ieee Transactions On Software Engineering. 40: 710-737. DOI: 10.1109/Tse.2013.2297120  0.36
2013 Cadar C, Sen K. Symbolic execution for software testing: three decades later Communications of the Acm. 56: 82-90. DOI: 10.1145/2408776.2408795  0.381
2008 Cadar C, Ganesh V, Pawlowski PM, Dill DL, Engler DR. EXE: Automatically generating inputs of death Acm Transactions On Information and System Security. 12. DOI: 10.1145/1455518.1455522  0.351
Show low-probability matches.