2016

  • Analysing the Program Analyser

    Cristian Cadar, Alastair Donaldson

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

  • Shadow of a Doubt: Testing for Divergences Between Software Versions

    Hristina Palikareva, Tomasz Kuchta, Cristian Cadar

    International Conference on Software Engineering (ICSE 2016)

  • 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)

2015

  • Towards Deployment-Time Dynamic Analysis of Server Applications

    Luís Pina, Cristian Cadar

    Proceedings of the 13th International Workshop on Dynamic Analysis (WODA 2015)

  • Targeted Program Transformations for Symbolic Execution

    Cristian Cadar

    European Software Engineering Conference / Symposium on the Foundations of Software Engineering New Ideas Track (ESEC/FSE NI 2015)

  • Varan the Unbelievable: An Efficient N-version Execution Framework

    Petr Hosek, Cristian Cadar

    20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15)

2014

  • Docovery: Toward Generic Automatic Document Recovery

    Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

    International Conference on Automated Software Engineering (ASE 2014)

  • Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

    Paul Dan Marinescu, Petr Hosek, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2014)

  • Symbolic Crosschecking of Data-Parallel Floating-Point Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    IEEE Transactions on Software Engineering (TSE 2014)

  • SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

    JaeSeung Song, Cristian Cadar, Peter Pietzuch

    IEEE Transactions on Software Engineering (TSE 2014)

  • Shadow Symbolic Execution for Better Testing of Evolving Software

    Cristian Cadar, Hristina Palikareva

    International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER 2014)

2013

  • KATCH: High-Coverage Testing of Software Patches

    Paul Dan Marinescu, Cristian Cadar

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

  • Multi-solver Support in Symbolic Execution

    Hristina Palikareva, Cristian Cadar

    International Conference on Computer Aided Verification (CAV 2013)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    International Conference on Software Engineering (ICSE 2013)

  • Symbolic Execution for Software Testing: Three Decades Later

    Cristian Cadar, Koushik Sen

    Communications of the Association for Computing Machinery (CACM 2013)

2012

  • High-Coverage Symbolic Patch Testing

    Paul Dan Marinescu, Cristian Cadar

    International SPIN Workshop on Model Checking of Software (SPIN 2012)

  • Multi-Version Software Updates

    Cristian Cadar, Petr Hosek

    Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)

  • make test-zesti: A Symbolic Execution Solution for Improving Regression Testing

    Paul Dan Marinescu, Cristian Cadar

    International Conference on Software Engineering (ICSE 2012)

  • Efficient Argumentation for Medical Decision-Making

    Matthew Williams, Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad

    International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

2011

  • SafeWeb: A Middleware for Securing Ruby-based Web Applications

    Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David Eyers, David Evans, Brian Shand, Jean Bacon, Peter Pietzuch

    ACM/IFIP/USENIX 12th International Middleware Conference (Middleware 2011)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    Imperial College London

  • Rule-based Verification of Network Protocol Implementations using Symbolic Execution

    JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch

    IEEE International Conference on Computer Communications and Networks (ICCCN 2011)

  • High Coverage Testing of Haskell Programs

    Tristan Allwood, Cristian Cadar, Susan Eisenbach

    International Symposium on Software Testing and Analysis (ISSTA 2011)

  • Symbolic Execution for Software Testing in Practice - Preliminary Assessment

    Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

    International Conference on Software Engineering, Impact Project (ICSE Impact 2011)

  • Symbolic Crosschecking of Floating-Point and SIMD Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    European Conference on Computer Systems (EuroSys 2011)

  • Symbolic Testing of OpenCL Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    Haifa Verification Conference (HVC 2011)

2010

  • Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications

    Cristian Cadar, Peter Pietzuch, Alexander Wolf

    Software Engineering Research (FoSER 2010)