☰

Cristian Cadar, Ph.D. - Publications

Affiliations: 
2009 Stanford University, Palo Alto, CA 
Tree Info Similar researchers PubMed Report error

6/8 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
Low-probability matches (unlikely to be authored by this person)
2018 Kuchta T, Lutellier T, Wong E, Tan L, Cadar C. On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files Empirical Software Engineering. 23: 3187-3220. DOI: 10.1007/S10664-018-9600-2  0.282
2018 Cadar C, Ardelean I. Surface influence on the rotational and translational dynamics of molecules confined inside a mesoporous carbon xerogel. Magnetic Resonance in Chemistry : Mrc. PMID 30577076 DOI: 10.1002/mrc.4819  0.054
Hide low-probability matches.