A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). - Martin C. Rinard; Cristian Cadar; Daniel Dumitran; Daniel M. Roy 001; Tudor Leu (ACSAC, 2004)

Enhancing Server Availability and Security Through Failure-Oblivious Computing. - Martin C. Rinard; Cristian Cadar; Daniel Dumitran; Daniel M. Roy 001; Tudor Leu; William S. Beebee (OSDI, 2004)

Exploring the acceptability envelope. - Martin C. Rinard; Cristian Cadar; Huu Hai Nguyen (OOPSLA Companion, 2005)

Execution Generated Test Cases: How to Make Systems Code Crash Itself. - Cristian Cadar; Dawson R. Engler (SPIN, 2005)

Automatically Generating Malicious Disks using Symbolic Execution. - Junfeng Yang; Can Sar; Paul Twohey; Cristian Cadar; Dawson R. Engler (S&P, 2006)

NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0. - Martin Stiemerling; Jürgen Quittek; Cristian Cadar (RFC, 2006)

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. - Cristian Cadar; Daniel Dunbar; Dawson R. Engler (OSDI, 2008)

Preventing Memory Error Exploits with WIT. - Periklis Akritidis; Cristian Cadar; Costin Raiciu; Manuel Costa; Miguel Castro 001 (SP, 2008)

RWset: Attacking Path Explosion in Constraint-Based Test Generation. - Peter Boonstoppel; Cristian Cadar; Dawson R. Engler (TACAS, 2008)

EXE: Automatically Generating Inputs of Death. - Cristian Cadar; Vijay Ganesh 001; Peter M. Pawlowski; David L. Dill; Dawson R. Engler (ACM Trans. Inf. Syst. Secur., 2008)

Symbolic execution for testing complex software. - Cristian Cadar (2009)

Multiplicity computing: a vision of software engineering for next-generation computing platform applications. - Cristian Cadar; Peter R. Pietzuch; Alexander L. Wolf (FoSER, 2010)

Symbolic crosschecking of floating-point and SIMD code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (EuroSys, 2011)

Symbolic Testing of OpenCL Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (Haifa Verification Conference, 2011)

Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. - JaeSeung Song; Tiejun Ma; Cristian Cadar; Peter R. Pietzuch (ICCCN, 2011)

Symbolic execution for software testing in practice: preliminary assessment. - Cristian Cadar; Patrice Godefroid; Sarfraz Khurshid; Corina S. Pasareanu; Koushik Sen; Nikolai Tillmann; Willem Visser (ICSE, 2011)

High coverage testing of Haskell programs. - Tristan Oliver Richard Allwood; Cristian Cadar; Susan Eisenbach (ISSTA, 2011)

Multi-version software updates. - Cristian Cadar; Petr Hosek 001 (HotSWUp, 2012)

make test-zesti: A symbolic execution solution for improving regression testing. - Paul Dan Marinescu; Cristian Cadar (ICSE, 2012)

Efficient Argumentation for Medical Decision-Making. - Robert Craven; Francesca Toni; Cristian Cadar; Adrian Hadad; Matthew Williams 001 (KR, 2012)

Symbolic Execution. - Cristian Cadar; Koushik Sen (RV, 2012)

High-Coverage Symbolic Patch Testing. - Paul Dan Marinescu; Cristian Cadar (SPIN, 2012)

Multi-solver Support in Symbolic Execution. - Hristina Palikareva; Cristian Cadar (CAV, 2013)

Safe software updates via multi-version execution. - Petr Hosek 001; Cristian Cadar (ICSE, 2013)

Constraints in Software Testing, Verification and Analysis CSTVA'2013. - Cristian Cadar; Frédéric Dadeau (ICST Workshops, 2013)

KATCH: high-coverage testing of software patches. - Paul Dan Marinescu; Cristian Cadar (ESEC/SIGSOFT FSE, 2013)

Symbolic execution for software testing: three decades later. - Cristian Cadar; Koushik Sen (Commun. ACM, 2013)

Shadow symbolic execution for better testing of evolving software. - Cristian Cadar; Hristina Palikareva (ICSE Companion, 2014)

Covrig: a framework for the analysis of code, test, and coverage evolution in real software. - Paul Dan Marinescu; Petr Hosek 001; Cristian Cadar (ISSTA, 2014)

Docovery: toward generic automatic document recovery. - Tomasz Kuchta; Cristian Cadar; Miguel Castro 001; Manuel Costa (ASE, 2014)

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). - Cristian Cadar; Vijay Ganesh 001; Raimondas Sasnauskas; Koushik Sen (Dagstuhl Reports, 2014)

Symbolic Crosschecking of Data-Parallel Floating-Point Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (IEEE Trans. Software Eng., 2014)

SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications. - JaeSeung Song; Cristian Cadar; Peter R. Pietzuch (IEEE Trans. Software Eng., 2014)

VARAN the Unbelievable: An Efficient N-version Execution Framework. - Petr Hosek 001; Cristian Cadar (ASPLOS, 2015)

Towards deployment-time dynamic analysis of server applications. - Luís Pina; Cristian Cadar (WODA@SPLASH, 2015)

Targeted program transformations for symbolic execution. - Cristian Cadar (ESEC/SIGSOFT FSE, 2015)

Analysing the program analyser. - Cristian Cadar; Alastair F. Donaldson (ICSE (Companion Volume), 2016)

Shadow of a doubt: testing for divergences between software versions. - Hristina Palikareva; Tomasz Kuchta; Cristian Cadar (ICSE, 2016)

Symbooglix: A Symbolic Execution Engine for Boogie Programs. - Daniel Liew; Cristian Cadar; Alastair F. Donaldson (ICST, 2016)

Accelerating array constraints in symbolic execution. - David Mitchel Perry; Andrea Mattavelli; Xiangyu Zhang 001; Cristian Cadar (ISSTA, 2017)

Automatic testing of symbolic execution engines via program generation and differential testing. - Timotej Kapus; Cristian Cadar (ASE, 2017)

Floating-point symbolic execution: a case study in n-version programming. - Daniel Liew; Daniel Schemmel; Cristian Cadar; Alastair F. Donaldson; Rafael Zähl; Klaus Wehrle (ASE, 2017)

A DSL Approach to Reconcile Equivalent Divergent Program Executions. - Luís Pina; Daniel Grumberg; Anastasios Andronidis; Cristian Cadar (USENIX ATC, 2017)

FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. - Luís Pina; Anastasios Andronidis; Cristian Cadar (CF, 2018)

Chopped symbolic execution. - David Trabish; Andrea Mattavelli; Noam Rinetzky; Cristian Cadar (ICSE, 2018)

PARTI: a multi-interval theory solver for symbolic execution. - Oscar Soria Dustmann; Klaus Wehrle; Cristian Cadar (ASE, 2018)

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files. - Tomasz Kuchta; Thibaud Lutellier; Edmund Wong; Lin Tan 001; Cristian Cadar (Empir. Softw. Eng., 2018)

Shadow Symbolic Execution for Testing Software Patches. - Tomasz Kuchta; Hristina Palikareva; Cristian Cadar (ACM Trans. Softw. Eng. Methodol., 2018)

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. - Luís Pina; Anastasios Andronidis; Michael Hicks 001; Cristian Cadar (ASPLOS, 2019)

Computing summaries of string loops in C for better testing and refactoring. - Timotej Kapus; Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Cristian Cadar (PLDI, 2019)

A segmented memory model for symbolic execution. - Timotej Kapus; Cristian Cadar (ESEC/SIGSOFT FSE, 2019)

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. - Daniel Liew; Cristian Cadar; Alastair F. Donaldson; J. Ryan Stinnett (ESEC/SIGSOFT FSE, 2019)

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? - Timotej Kapus; Martin Nowack; Cristian Cadar (TAP@FM, 2019)

A Systematic Impact Study for Fuzzer-Found Compiler Bugs. - Michaël Marcozzi; Qiyi Tang 001; Alastair F. Donaldson; Cristian Cadar (CoRR, 2019)

Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). - Sébastien Bardin; Nikolaj S. Bjørner; Cristian Cadar (Dagstuhl Reports, 2019)

Compiler fuzzing: how much does it matter? - Michaël Marcozzi; Qiyi Tang 001; Alastair F. Donaldson; Cristian Cadar (Proc. ACM Program. Lang., 2019)

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). - Marcel Böhme; Cristian Cadar; Abhik Roychoudhury (NII Shonan Meet. Rep., 2019)

Running symbolic execution forever. - Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2020)

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. - Karine Even-Mendoza; Cristian Cadar; Alastair F. Donaldson (ASE, 2020)

Pending Constraints in Symbolic Execution for Better Exploration and Seeding. - Timotej Kapus; Frank Busse; Cristian Cadar (ASE, 2020)

Past-sensitive pointer analysis for symbolic execution. - David Trabish; Timotej Kapus; Noam Rinetzky; Cristian Cadar (ESEC/SIGSOFT FSE, 2020)

Fuzzing: Challenges and Reflections. - Marcel Böhme; Cristian Cadar; Abhik Roychoudhury (IEEE Softw., 2021)

KLEE symbolic execution engine in 2019. - Cristian Cadar; Martin Nowack (Int. J. Softw. Tools Technol. Transf., 2021)

A Deterministic Memory Allocator for Dynamic Symbolic Execution. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ECOOP, 2022)

SnapFuzz: high-throughput fuzzing of network applications. - Anastasios Andronidis; Cristian Cadar (ISSTA, 2022)

Combining static analysis error traces with dynamic symbolic execution (experience paper). - Frank Busse; Pritam M. Gharat; Cristian Cadar; Alastair F. Donaldson (ISSTA, 2022)

SnapFuzz: An Efficient Fuzzing Framework for Network Applications. - Anastasios Andronidis; Cristian Cadar (CoRR, 2022)

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (Dagstuhl Artifacts Ser., 2022)

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. - Karine Even-Mendoza; Cristian Cadar; Alastair F. Donaldson (Empir. Softw. Eng., 2022)

SaBRe: load-time selective binary rewriting. - Paul-Antoine Arras; Anastasios Andronidis; Luís Pina; Karolis Mituzas; Qianyi Shu; Daniel Grumberg; Cristian Cadar (Int. J. Softw. Tools Technol. Transf., 2022)

Grammar Mutation for Testing Input Parsers (Registered Report). - Bachir Bendrissou; Cristian Cadar; Alastair F. Donaldson (FUZZING, 2023)

Three Colours of Fuzzing: Reflections and Open Challenges (Keynote). - Cristian Cadar (FUZZING, 2023)

Patch Specifications via Product Programs. - Cristian Cadar; Daniel Schemmel; Arindam Sharma (FormaliSE, 2023)

GrayC: Greybox Fuzzing of Compilers and Analysers for C. - Karine Even-Mendoza; Arindam Sharma; Alastair F. Donaldson; Cristian Cadar (ISSTA, 2023)

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. - Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar (ISSTA, 2023)

Sparse Symbolic Loop Execution (Registered Report). - Frank Busse; Martin Nowack; Cristian Cadar (FUZZING, 2024)

Effective Fuzzing within CI/CD Pipelines (Registered Report). - Arindam Sharma; Cristian Cadar; Jonathan Metzman (FUZZING, 2024)

Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade. - Thomas Bailey; Cristian Cadar (ICST, 2025)

Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. - Manuel Carrasco; Cristian Cadar; Alastair F. Donaldson (ICST, 2025)

Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study. - Ahmed Zaki; Arindam Sharma; Cristian Cadar (SANER, 2025)

Grammar Mutation for Testing Input Parsers. - Bachir Bendrissou; Cristian Cadar; Alastair F. Donaldson (ACM Trans. Softw. Eng. Methodol., 2025)

Grammar Mutation for Testing Input Parsers - RCR Report. - Bachir Bendrissou; Cristian Cadar; Alastair F. Donaldson (ACM Trans. Softw. Eng. Methodol., 2025)

Understanding API Usage and Testing: An Empirical Study of C Libraries. - Ahmed Zaki; Cristian Cadar (CoRR, 2025)

Software Security Analysis in 2030 and Beyond: A Research Roadmap. - Marcel Böhme; Eric Bodden; Tevfik Bultan; Cristian Cadar; Yang Liu 003; Giuseppe Scanniello (ACM Trans. Softw. Eng. Methodol., 2025)