Group Publications

• Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing

  Manuel Carrasco, Cristian Cadar, Alastair Donaldson

  IEEE International Conference on Software Testing, Verification, and Validation (ICST 2025)

• Grammar Mutation for Testing Input Parsers

  Bachir Bendrissou, Cristian Cadar, Alastair Donaldson

  ACM Transactions on Software Engineering and Methodology (TOSEM 2025)

• Grammar Mutation for Testing Input Parsers (Registered Report)

  Bachir Bendrissou, Cristian Cadar, Alastair Donaldson

  International Fuzzing Workshop (FUZZING 2023)

• GrayC: Greybox Fuzzing of Compilers and Analysers for C

  Karine Even-Mendoza, Arindam Sharma, Alastair Donaldson, Cristian Cadar

  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)

• Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)

  Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson

  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)

• CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively

  Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson

  Empirical Software Engineering (EMSE 2022)

• Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour

  Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson

  IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2020)

• Compiler Fuzzing: How Much Does It Matter?

  Michael Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar

  Proceedings of the ACM on Programming Languages (OOPSLA 2019)

• Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing

  Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett

  European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)

• Floating-Point Symbolic Execution: A Case Study in N-version Programming

  Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

  IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

• Analysing the Program Analyser

  Cristian Cadar, Alastair Donaldson

  International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025)

• Symbooglix: A Symbolic Execution Engine for Boogie Programs

  Daniel Liew, Cristian Cadar, Alastair Donaldson

  IEEE International Conference on Software Testing, Verification, and Validation (ICST 2016)

Talks

• Grammar Mutation for Testing Input Parsers

  Alastair Donaldson

  2nd International Fuzzing Workshop (FUZZING 2023)