Paul Dan Marinescu

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Regression Testing

Symbolic Execution

Static Analysis

Top Venues

ESEC/SIGSOFT FSE

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Paul Dan Marinescu, Petr Hosek, Cristian Cadar
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA (2014)
Paul Dan Marinescu, Cristian Cadar
KATCH: high-coverage testing of software patches. ESEC/SIGSOFT FSE (2013)
Paul Dan Marinescu, Cristian Cadar
High-Coverage Symbolic Patch Testing. SPIN (2012)
Paul Dan Marinescu, Cristian Cadar
make test-zesti: A symbolic execution solution for improving regression testing. ICSE (2012)
Paul Dan Marinescu, George Candea
Efficient Testing of Recovery Code Using Fault Injection. ACM Trans. Comput. Syst. 29 (4) (2011)
Paul Dan Marinescu, Radu Banabic
An Extensible Technique for High-Precision Testing of Recovery Code. USENIX Annual Technical Conference (2010)
Eric Bisolfati, Paul Dan Marinescu, George Candea
Studying application-library interaction and behavior with LibTrac. DSN (2010)
Paul Dan Marinescu, George Candea
LFI: A practical and general library-level fault injector. DSN (2009)