Paul Marinescu was a doctoral student and then research associate in the Software Reliability Group at Imperial College London. His research interests include systems, dependability and software engineering, with a particular emphasis on automatic testing of real-world software. Paul’s thesis focused on using lightweight symbolic execution techniques to transparently improve the efficiency of regression testing. Before joining SRG, Paul worked on fault injection for COTS software and built LFI.

Group Publications

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

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

  • High-Coverage Symbolic Patch Testing

    Paul Dan Marinescu, Cristian Cadar

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

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

    Paul Dan Marinescu, Cristian Cadar

    International Conference on Software Engineering (ICSE 2012)

Talks

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

    Paul Dan Marinescu

    Conference talk @ International Symposium on Software Testing and Analysis (ISSTA 2014)

  • KATCH: High-Coverage Testing of Software Patches

    Paul Dan Marinescu

    Conference talk @ European Software Engineering Conference / Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)

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

    Paul Dan Marinescu

    Conference talk @ International Conference on Software Engineering (ICSE 2012)