CUTE: A concolic unit testing engine for C K Sen, D Marinov, G Agha ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005 | 2504 | 2005 |
Korat: Automated testing based on Java predicates C Boyapati, S Khurshid, D Marinov ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002 | 909 | 2002 |
An empirical analysis of flaky tests Q Luo, F Hariri, L Eloussi, D Marinov Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 402 | 2014 |
Symstra: A framework for generating object-oriented unit tests using symbolic execution T Xie, D Marinov, W Schulte, D Notkin Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 366 | 2005 |
Usage, costs, and benefits of continuous integration in open-source projects M Hilton, T Tunnell, K Huang, D Marinov, D Dig Proceedings of the 31st IEEE/ACM international conference on automated …, 2016 | 349 | 2016 |
TestEra: A novel framework for automated testing of Java programs D Marinov, S Khurshid Proceedings 16th Annual International Conference on Automated Software …, 2001 | 349 | 2001 |
Automated detection of refactorings in evolving components D Dig, C Comertoglu, D Marinov, R Johnson ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006 | 334 | 2006 |
Automated testing of refactoring engines B Daniel, D Dig, K Garcia, D Marinov Proceedings of the the 6th joint meeting of the European software …, 2007 | 287 | 2007 |
TestEra: Specification-based testing of Java programs using SAT S Khurshid, D Marinov Automated Software Engineering 11, 403-434, 2004 | 231 | 2004 |
Practical regression test selection with dynamic file dependencies M Gligoric, L Eloussi, D Marinov Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 217 | 2015 |
Toddler: Detecting performance problems via similar memory-access patterns A Nistor, L Song, D Marinov, S Lu 2013 35th International Conference on Software Engineering (ICSE), 562-571, 2013 | 204 | 2013 |
Rostra: A framework for detecting redundant object-oriented unit tests T Xie, D Notkin, D Marinov Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 201 | 2004 |
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies SH Tan, D Marinov, L Tan, GT Leavens 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 198 | 2012 |
Test generation through programming in UDITA M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 192 | 2010 |
Trade-offs in continuous integration: assurance, security, and flexibility M Hilton, N Nelson, T Tunnell, D Marinov, D Dig Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 186 | 2017 |
DeFlaker automatically detecting flaky tests J Bell, O Legunsen, M Hilton, L Eloussi, T Yung, D Marinov Proceedings of the 40th International Conference on Software Engineering …, 2018 | 164 | 2018 |
Comparing non-adequate test suites using coverage criteria M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 157 | 2013 |
ReAssert: Suggesting repairs for broken unit tests B Daniel, V Jagannath, D Dig, D Marinov 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 142 | 2009 |
An extensive study of static regression test selection in modern software evolution O Legunsen, F Hariri, A Shi, Y Lu, L Zhang, D Marinov Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 124 | 2016 |
Evaluating the “small scope hypothesis” A Andoni, D Daniliuc, S Khurshid, D Marinov In Popl 2, 2003 | 124 | 2003 |