Follow
Paul Marinescu
Title
Cited by
Cited by
Year
KATCH: High-coverage testing of software patches
PD Marinescu, C Cadar
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1962013
LFI: A practical and general library-level fault injector
PD Marinescu, G Candea
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
1132009
make test-zesti: A symbolic execution solution for improving regression testing
PD Marinescu, C Cadar
2012 34th International Conference on Software Engineering (ICSE), 716-726, 2012
1072012
Efficient testing of recovery code using fault injection
PD Marinescu, G Candea
ACM Transactions on Computer Systems (TOCS) 29 (4), 1-38, 2011
742011
Covrig: A framework for the analysis of code, test, and coverage evolution in real software
P Marinescu, P Hosek, C Cadar
Proceedings of the 2014 international symposium on software testing and …, 2014
662014
An Extensible Technique for {High-Precision} Testing of Recovery Code
PD Marinescu, R Banabic
2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010
432010
High-coverage symbolic patch testing
PD Marinescu, C Cadar
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK …, 2012
202012
IVD: Automatic learning and enforcement of authorization rules in online social networks
P Marinescu, C Parry, M Pomarole, Y Tian, P Tague, I Papagiannis
2017 IEEE Symposium on Security and Privacy (SP), 1094-1109, 2017
172017
Studying application-library interaction and behavior with LibTrac
E Bisolfati, P Marinescu, G Candea
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
42010
AFEX: An automated fault explorer for faster system testing
L Keller, PD Marinescu, G Candea
42008
Transparently improving regression testing using symbolic execution
PD Marinescu
Imperial College London, UK, 2014
12014
3.11 Commercial Symbolic Execution
P Marinescu
Symbolic Execution and Constraint Solving, 107, 0
LibSE: Inferring return values and path conditions for library functions
P Marinescu
The system can't perform the operation now. Try again later.
Articles 1–13