Seguir
Darko Marinov
Título
Citado por
Citado por
Año
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
24062005
Korat: Automated testing based on Java predicates
C Boyapati, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002
8952002
Symstra: A framework for generating object-oriented unit tests using symbolic execution
T Xie, D Marinov, W Schulte, D Notkin
International Conference on Tools and Algorithms for the Construction and …, 2005
3612005
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
3392014
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software …, 2001
3362001
Automated detection of refactorings in evolving components
D Dig, C Comertoglu, D Marinov, R Johnson
European conference on object-oriented programming, 404-428, 2006
3212006
Usage, costs, and benefits of continuous integration in open-source projects
M Hilton, T Tunnell, K Huang, D Marinov, D Dig
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
2992016
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
2852007
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11 (4), 403-434, 2004
2232004
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
1982004
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
1932015
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
1902010
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
1842013
@ 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
1652012
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
1532017
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
1472013
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
1292009
DeFlaker: Automatically detecting flaky tests
J Bell, O Legunsen, M Hilton, L Eloussi, T Yung, D Marinov
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
1272018
Evaluating the “small scope hypothesis”
A Andoni, D Daniliuc, S Khurshid, D Marinov
In Popl 2, 2003
1182003
Balancing trade-offs in test-suite reduction
A Shi, A Gyori, M Gligoric, A Zaytsev, D Marinov
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
1102014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20