LFI: A practical and general library-level fault injector. - Paul Dan Marinescu; George Candea (DSN, 2009)

Studying application-library interaction and behavior with LibTrac. - Eric Bisolfati; Paul Dan Marinescu; George Candea (DSN, 2010)

An Extensible Technique for High-Precision Testing of Recovery Code. - Paul Dan Marinescu; Radu Banabic (USENIX ATC, 2010)

Efficient Testing of Recovery Code Using Fault Injection. - Paul Dan Marinescu; George Candea (ACM Trans. Comput. Syst., 2011)

make test-zesti: A symbolic execution solution for improving regression testing. - Paul Dan Marinescu; Cristian Cadar (ICSE, 2012)

High-Coverage Symbolic Patch Testing. - Paul Dan Marinescu; Cristian Cadar (SPIN, 2012)

KATCH: high-coverage testing of software patches. - Paul Dan Marinescu; Cristian Cadar (ESEC/SIGSOFT FSE, 2013)

Covrig: a framework for the analysis of code, test, and coverage evolution in real software. - Paul Dan Marinescu; Petr Hosek 001; Cristian Cadar (ISSTA, 2014)

Transparently improving regression testing using symbolic execution. - Paul Dan Marinescu (2014)