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
Conference talk @ International Symposium on Software Testing and Analysis (ISSTA 2014)
-
KATCH: High-Coverage Testing of Software Patches
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
Conference talk @ International Conference on Software Engineering (ICSE 2012)