Æȷοì
Darko Marinov
Á¦¸ñ
Àοë
Àοë
¿¬µµ
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
26102005
Korat: Automated testing based on Java predicates
C Boyapati, S Khurshid, D Marinov
ACM SIGSOFT Software Engineering Notes 27 (4), 123-133, 2002
9332002
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
4742014
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
4132016
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
3722005
TestEra: A novel framework for automated testing of Java programs
D Marinov, S Khurshid
Proceedings 16th Annual International Conference on Automated Software ¡¦, 2001
3622001
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
3512006
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
2992007
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
2492015
TestEra: Specification-based testing of Java programs using SAT
S Khurshid, D Marinov
Automated Software Engineering 11, 403-434, 2004
2442004
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
2302017
@ 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
2262012
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
2182013
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
2062018
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
2052010
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
2052004
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
1672013
iDFlakies: A framework for detecting and partially classifying flaky tests
W Lam, R Oei, A Shi, D Marinov, T Xie
2019 12th ieee conference on software testing, validation and verification ¡¦, 2019
1512019
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
1482009
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
1452016
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20