Paul Dan Marinescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISSTA | Covrig: a framework for the analysis of code, test, and coverage evolution in real software. | Paul Dan Marinescu, Petr Hosek, Cristian Cadar |
| 2012 | ICSE | make test-zesti: A symbolic execution solution for improving regression testing. | Paul Dan Marinescu, Cristian Cadar |
| 2010 | DSN | Studying application-library interaction and behavior with LibTrac. | Eric Bisolfati, Paul Dan Marinescu, George Candea |
| 2010 | USENIX | An Extensible Technique for High-Precision Testing of Recovery Code. | Paul Dan Marinescu, Radu Banabic |
| 2009 | DSN | LFI: A practical and general library-level fault injector. | Paul Dan Marinescu, George Candea |