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
1692013
LFI: A practical and general library-level fault injector
PD Marinescu, G Candea
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
1112009
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
712011
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
632014
An extensible technique for high-precision testing of recovery code
P Marinescu, R Banabic, G Candea
Proceedings of the USENIX annual technical conference, 2010
422010
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
142017
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, 2014
12014
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–12