Cristian Cadar

Software · 2004–2013

A researcher in the Science corpus: 6 papers; trusts 24 researchers and is trusted by 13 researchers here, as inferred from the citation graph.

Subfields

• Software — 40 citations into it; #341 of 1,227 by trust here, #204 by citations
• Artificial Intelligence — 37 citations into it; #34,102 of 35,345 by trust here, #22,463 by citations
• Computational Theory and Mathematics — 29 citations into it; #5,818 of 12,182 by trust here, #2,629 by citations
• Signal Processing — 19 citations into it; #7,317 of 7,572 by trust here, #3,673 by citations
• Computer Networks and Communications — 17 citations into it
• Information Systems — 16 citations into it; #5,418 of 8,771 by trust here, #6,501 by citations
• Hardware and Architecture — 14 citations into it
• Program Analysis & Verification — 6 citations into it

Whom Cristian Cadar trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Patrice Godefroid
2. Koushik Sen
3. Jacob Burnim
4. Vijay Ganesh
5. Thomas Ball
6. Edward J. Schwartz
7. Rupak Majumdar
8. Willem Visser
9. Clark W. Barrett
10. Chris Lattner

Who trusts Cristian Cadar overall

1. Patrice Godefroid
2. Vitaly Chipounov
3. Peng Chen
4. Yan Shoshitaishvili
5. Baptiste Rozière
6. Tielei Wang
7. Vijay Ganesh
8. Vijayaraghavan Murali
9. Cornelius Aschermann
10. Insu Yun

Papers from Cristian Cadar's perspective

Ordered by how strongly the researchers Cristian Cadar trusts endorse each paper. Same corpus, a different order for every researcher.

1. Symbolic execution and program testing
2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. EXE: automatically generating inputs of death
4. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
5. Hybrid Concolic Testing (International Conference on Software Engineering)
6. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
7. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
9. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• EXE: automatically generating inputs of death (2006) — 1,258 citations
• Preventing Memory Error Exploits with WIT (2008) — 349 citations
• Symbolic execution for software testing: three decades later (2013) — 847 citations
• Symbolic execution for software testing in practice: preliminary assessment (2011) — 377 citations
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (2008) — 3,736 citations
• Enhancing Server Availability and Security Through Failure-Oblivious Computing (2004) — 368 citations