Darko Marinov
TítuloCitado porAno
CUTE: a concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
19692005
Korat: Automated testing based on Java predicates
C Boyapati, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002
8092002
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
3202005
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software …, 2001
2992001
Automated detection of refactorings in evolving components
D Dig, C Comertoglu, D Marinov, R Johnson
European Conference on Object-Oriented Programming, 404-428, 2006
2552006
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
2282007
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11 (4), 403-434, 2004
1922004
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
1782004
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
1552010
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
1472016
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
1442014
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
1332013
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
1142013
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
1052015
Evaluating the “small scope hypothesis”
A Andoni, D Daniliuc, S Khurshid, D Marinov
In Popl 2, 2003
922003
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
912009
@ 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
872012
Korat: A tool for generating structurally complex test inputs
A Milicevic, S Misailovic, D Marinov, S Khurshid
29th International Conference on Software Engineering (ICSE'07), 771-774, 2007
842007
An analyzable annotation language
S Khurshid, D Marinov, D Jackson
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented …, 2002
822002
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
752014
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20