| KATCH: High-coverage testing of software patches PD Marinescu, C Cadar Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 213 | 2013 |
| LFI: A practical and general library-level fault injector PD Marinescu, G Candea 2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009 | 121 | 2009 |
| 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 | 108 | 2012 |
| Efficient testing of recovery code using fault injection PD Marinescu, G Candea ACM Transactions on Computer Systems (TOCS) 29 (4), 1-38, 2011 | 79 | 2011 |
| 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 | 71 | 2014 |
| An Extensible Technique for {High-Precision} Testing of Recovery Code PD Marinescu, R Banabic 2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010 | 46 | 2010 |
| 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 | 20 | 2017 |
| High-coverage symbolic patch testing PD Marinescu, C Cadar Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK …, 2012 | 20 | 2012 |
| Studying application-library interaction and behavior with LibTrac E Bisolfati, P Marinescu, G Candea 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 4 | 2010 |
| AFEX: An automated fault explorer for faster system testing L Keller, PD Marinescu, G Candea | 4 | 2008 |
| Transparently improving regression testing using symbolic execution PD Marinescu Imperial College London, UK, 2014 | 1 | 2014 |
| 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 | | |
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
