Paul Dan Marinescu

According to our database, Paul Dan Marinescu authored at least 9 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Transparently improving regression testing using symbolic execution.

Paul Dan Marinescu

PhD thesis, 2014

Covrig: a framework for the analysis of code, test, and coverage evolution in real software.

Paul Dan Marinescu, Petr Hosek, Cristian Cadar

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

KATCH: high-coverage testing of software patches.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

High-Coverage Symbolic Patch Testing.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the Model Checking Software - 19th International Workshop, 2012

make test-zesti: A symbolic execution solution for improving regression testing.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Efficient Testing of Recovery Code Using Fault Injection.

Paul Dan Marinescu, George Candea

ACM Trans. Comput. Syst., 2011

2010

An Extensible Technique for High-Precision Testing of Recovery Code.

Paul Dan Marinescu, Radu Banabic

Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Studying application-library interaction and behavior with LibTrac.

Eric Bisolfati, Paul Dan Marinescu, George Candea

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

LFI: A practical and general library-level fault injector.

Paul Dan Marinescu, George Candea

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009