Year |
Citation |
Score |
2017 |
Gyori A, Lambeth B, Khurshid S, Marinov D. Exploring Underdetermined Specifications using Java PathFinder Acm Sigsoft Software Engineering Notes. 41: 1-5. DOI: 10.1145/3011286.3011295 |
0.397 |
|
2017 |
Fraser G, Marinov D. Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015) Software Testing, Verification & Reliability. 27. DOI: 10.1002/Stvr.1644 |
0.389 |
|
2015 |
Palmskog K, Hariri F, Marinov D. A Case Study on Executing Instrumented Code in Java PathFinder Acm Sigsoft Software Engineering Notes. 40: 1-5. DOI: 10.1145/2830719.2830730 |
0.425 |
|
2015 |
Souto S, Gopinath D, D'Amorim M, Marinov D, Khurshid S, Batory D. Faster bug detection for software product lines with incomplete feature models Acm International Conference Proceeding Series. 20: 151-160. DOI: 10.1145/2791060.2791093 |
0.403 |
|
2015 |
Shi A, Yung T, Gyori A, Marinov D. Comparing and combining test-suite reduction and regression test selection 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 237-247. DOI: 10.1145/2786805.2786878 |
0.34 |
|
2015 |
Gyori A, Shi A, Hariri F, Marinov D. Reliable testing: Detecting state-polluting tests to prevent test dependency 2015 International Symposium On Software Testing and Analysis, Issta 2015 - Proceedings. 223-233. DOI: 10.1145/2771783.2771793 |
0.351 |
|
2015 |
Gligoric M, Eloussi L, Marinov D. Practical regression test selection with dynamic file dependencies 2015 International Symposium On Software Testing and Analysis, Issta 2015 - Proceedings. 211-222. DOI: 10.1145/2771783.2771784 |
0.351 |
|
2015 |
Gligoric M, Groce A, Zhang C, Sharma R, Alipour MA, Marinov D. Guidelines for coverage-based comparisons of non-adequate test suites Acm Transactions On Software Engineering and Methodology. 24. DOI: 10.1145/2660767 |
0.369 |
|
2015 |
Gligoric M, Eloussi L, Marinov D. Ekstazi: Lightweight Test Selection Proceedings - International Conference On Software Engineering. 2: 713-716. DOI: 10.1109/ICSE.2015.230 |
0.352 |
|
2015 |
Legunsen O, Marinov D, Rosu G. Evolution-Aware Monitoring-Oriented Programming Proceedings - International Conference On Software Engineering. 2: 615-618. DOI: 10.1109/ICSE.2015.206 |
0.338 |
|
2014 |
Gligoric M, Negara S, Legunsen O, Marinov D. An empirical evaluation and comparison of manual and automated test selection Ase 2014 - Proceedings of the 29th Acm/Ieee International Conference On Automated Software Engineering. 361-371. DOI: 10.1145/2642937.2643019 |
0.348 |
|
2014 |
Sullivan A, Zaeem RN, Khurshid S, Marinov D. Towards a test automation framework for alloy 2014 International Spin Symposium On Model Checking of Software, Spin 2014 - Proceedings. 113-116. DOI: 10.1145/2632362.2632369 |
0.353 |
|
2014 |
Bengolea V, Aguirre N, Marinov D, Frias M. RepOK-based reduction of bounded exhaustive testing Software Testing Verification and Reliability. 24: 629-655. DOI: 10.1002/Stvr.1547 |
0.488 |
|
2013 |
Zhang L, Marinov D, Khurshid S. Faster mutation testing inspired by test prioritization and reduction 2013 International Symposium On Software Testing and Analysis, Issta 2013 - Proceedings. 235-245. DOI: 10.1145/2483760.2483782 |
0.468 |
|
2013 |
Nistor A, Song L, Marinov D, Lu S. Toddler: Detecting performance problems via similar memory-access patterns Proceedings - International Conference On Software Engineering. 562-571. DOI: 10.1109/ICSE.2013.6606602 |
0.315 |
|
2013 |
Zhang L, Gligoric M, Marinov D, Khurshid S. Operator-based and random mutant selection: Better together 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 92-102. DOI: 10.1109/ASE.2013.6693070 |
0.356 |
|
2013 |
Gligoric M, Jagannath V, Luo Q, Marinov D. Efficient mutation testing of multithreaded code Software Testing Verification and Reliability. 23: 375-403. DOI: 10.1002/Stvr.1469 |
0.462 |
|
2012 |
Zhang L, Marinov D, Khurshid S. Regression mutation testing 2012 International Symposium On Software Testing and Analysis, Issta 2012 - Proceedings. 331-341. DOI: 10.1145/04000800.2336793 |
0.457 |
|
2012 |
Jagannath V, Kirn M, Lin Y, Marinov D. Evaluating machine-independent metrics for state-space exploration Proceedings - Ieee 5th International Conference On Software Testing, Verification and Validation, Icst 2012. 320-329. DOI: 10.1109/ICST.2012.112 |
0.308 |
|
2012 |
Nistor A, Luo Q, Pradel M, Gross TR, Marinov D. Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code Proceedings - International Conference On Software Engineering. 727-737. DOI: 10.1109/ICSE.2012.6227145 |
0.455 |
|
2012 |
Tasharofi S, Karmani RK, Lauterburg S, Legay A, Marinov D, Agha G. TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7273: 219-234. DOI: 10.1007/978-3-642-30793-5_14 |
0.336 |
|
2012 |
Bengolea V, Aguirre N, Marinov D, Frias MF. Using coverage criteria on repok to reduce bounded-exhaustive test suites Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7305: 19-34. DOI: 10.1007/978-3-642-30473-6_4 |
0.346 |
|
2012 |
Boyapati C, Khurshid S, Marinov D. Systematic software testing: The Korat approach Proceedings of the Acm Sigsoft 20th International Symposium On the Foundations of Software Engineering, Fse 2012. |
0.306 |
|
2011 |
Jagannath V, Gligoric M, Jin D, Luo Q, Roşu G, Marinov D. Improved multithreaded unit testing Sigsoft/Fse 2011 - Proceedings of the 19th Acm Sigsoft Symposium On Foundations of Software Engineering. 223-233. DOI: 10.1145/2025113.2025145 |
0.393 |
|
2011 |
Daniel B, Luo Q, Mirzaaghaei M, Dig D, Marinov D, Pezzè M. Automated GUI refactoring and test script repair (position paper) 2011 International Workshop On End-to-End Test Script Engineering, Etse 2011 - Proceedings. 38-41. DOI: 10.1145/2002931.2002937 |
0.304 |
|
2011 |
Gligoric M, Marinov D, Kamin S. CoDeSe: Fast deserialization via code generation 2011 International Symposium On Software Testing and Analysis, Issta 2011 - Proceedings. 298-308. DOI: 10.1145/2001420.2001456 |
0.373 |
|
2011 |
Jagannath V, Luo Q, Marinov D. Change-aware preemption prioritization 2011 International Symposium On Software Testing and Analysis, Issta 2011 - Proceedings. 133-143. DOI: 10.1145/2001420.2001437 |
0.387 |
|
2011 |
Daniel B, Dig D, Gvero T, Jagannath V, Jiaa J, Mitchell D, Nogiec J, Tan SH, Marinov D. ReAssert: A tool for repairing broken unit tests Proceedings - International Conference On Software Engineering. 1010-1012. DOI: 10.1145/1985793.1985978 |
0.343 |
|
2011 |
Zhang L, Marinov D, Khurshid S. An empirical study of JUnit test-suite reduction Proceedings - International Symposium On Software Reliability Engineering, Issre. 170-179. DOI: 10.1109/ISSRE.2011.26 |
0.456 |
|
2011 |
Khalek SA, Yang G, Zhang L, Marinov D, Khurshid S. TestEra: A tool for testing Java programs using alloy specifications 2011 26th Ieee/Acm International Conference On Automated Software Engineering, Ase 2011, Proceedings. 608-611. DOI: 10.1109/ASE.2011.6100137 |
0.372 |
|
2011 |
Sharma R, Gligoric M, Arcuri A, Fraser G, Marinov D. Testing container classes: Random or systematic? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6603: 262-277. DOI: 10.1007/978-3-642-19811-3_19 |
0.356 |
|
2010 |
Lauterburg S, Karmani RK, Marinov D, Agha G. Basset: A tool for systematic testing of actor programs Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 363-364. DOI: 10.1145/1882291.1882349 |
0.429 |
|
2010 |
Daniel B, Gvero T, Marinov D. On test repair using symbolic execution Issta'10 - Proceedings of the 2010 International Symposium On Software Testing and Analysis. 207-217. DOI: 10.1145/1831708.1831734 |
0.437 |
|
2010 |
Jagannath V, Gligoric M, Jin D, Rosu G, Marinov D. IMUnit: Improved multithreaded unit testing Proceedings - International Conference On Software Engineering. 48-49. DOI: 10.1145/1808954.1808966 |
0.401 |
|
2010 |
Gligoric M, Gvero T, Jagannath V, Khurshid S, Kuncak V, Marinov D. Test generation through programming in UDITA Proceedings - International Conference On Software Engineering. 1: 225-234. DOI: 10.1145/1806799.1806835 |
0.493 |
|
2010 |
Nistor A, Marinov D, Torrellas J. InstantCheck: Checking the determinism of parallel programs using on-the-fly incremental hashing Proceedings of the Annual International Symposium On Microarchitecture, Micro. 251-262. DOI: 10.1109/MICRO.2010.55 |
0.429 |
|
2010 |
Jagannath V, Gligoric M, Lauterburg S, Marinov D, Agha G. Mutation operators for actor systems Icstw 2010 - 3rd International Conference On Software Testing, Verification, and Validation Workshops. 157-162. DOI: 10.1109/ICSTW.2010.6 |
0.405 |
|
2010 |
Gligoric M, Jagannath V, Marinov D. MuTMuT: Efficient exploration for mutation testing of multithreaded code Icst 2010 - 3rd International Conference On Software Testing, Verification and Validation. 55-64. DOI: 10.1109/ICST.2010.33 |
0.529 |
|
2010 |
Lauterburg S, Karmani RK, Marinov D, Agha G. Evaluating ordering heuristics for dynamic partial-order reduction techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6013: 308-322. DOI: 10.1007/978-3-642-12029-9_22 |
0.34 |
|
2009 |
Nistor A, Marinov D, Torrellas J. Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs Proceedings of the Annual International Symposium On Microarchitecture, Micro. 541-552. DOI: 10.1145/1669112.1669180 |
0.415 |
|
2009 |
Lauterburg S, Dotta M, Marinov D, Agha G. A framework for state-space exploration of java-based actor programs Ase2009 - 24th Ieee/Acm International Conference On Automated Software Engineering. 468-479. DOI: 10.1109/ASE.2009.88 |
0.397 |
|
2009 |
Daniel B, Jagannath V, Dig D, Marinov D. ReAssert: Suggesting repairs for broken unit tests Ase2009 - 24th Ieee/Acm International Conference On Automated Software Engineering. 433-444. DOI: 10.1109/ASE.2009.17 |
0.402 |
|
2009 |
Jagannath V, Lee YY, Daniel B, Marinov D. Reducing the costs of bounded-exhaustive testing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5503: 171-185. DOI: 10.1007/978-3-642-00593-0_12 |
0.41 |
|
2008 |
Marinov D, Schulte W. Workshop on state-space exploration for automated testing (SSEAT 2008) Issta'08: Proceedings of the 2008 International Symposium On Software Testing and Analysis 2008. 315. DOI: 10.1145/1390630.1390672 |
0.331 |
|
2008 |
Elkarablieh B, Marinov D, Khurshid S. Efficient solving of structural constraints Issta'08: Proceedings of the 2008 International Symposium On Software Testing and Analysis 2008. 39-49. DOI: 10.1145/1390630.1390637 |
0.325 |
|
2008 |
Gvero T, Gligoric M, Lauterburg S, Marcelo d'Amorim, Marinov D, Khurshid S. State extensions for java pathfider Proceedings - International Conference On Software Engineering. 863-866. DOI: 10.1145/1368088.1368224 |
0.324 |
|
2008 |
Lauterburg S, Sobeih A, Marinov D, Viswanathan M. Incremental state-space exploration for programs with dynamically allocated data Proceedings - International Conference On Software Engineering. 291-300. DOI: 10.1145/1368088.1368128 |
0.43 |
|
2008 |
d'Amorim M, Lauterburg S, Marinov D. Delta execution for efficient state-space exploration of object-oriented programs Ieee Transactions On Software Engineering. 34: 597-613. DOI: 10.1109/Tse.2008.37 |
0.459 |
|
2007 |
Daniel B, Dig D, Garcia K, Marinov D. Automated testing of refactoring engines 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 185-194. DOI: 10.1145/1287624.1287651 |
0.347 |
|
2007 |
Misailovic S, Milicevic A, Petrovic N, Khurshid S, Marinov D. Parallel test generation and execution with Korat 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 135-144. DOI: 10.1145/1287624.1287645 |
0.367 |
|
2007 |
Milićević A, Misailović S, Marinov D, Khurshid S. Korat: A tool for generating structurally complex test inputs Proceedings - International Conference On Software Engineering. 771-774. DOI: 10.1109/ICSE.2007.48 |
0.379 |
|
2007 |
Xie T, Taneja K, Kale S, Marinov D. Towards a framework for differential unit testing of object-oriented programs Proceedings - International Conference On Software Engineering. DOI: 10.1109/AST.2007.15 |
0.389 |
|
2006 |
Xie T, Zhao J, Marinov D, Notkin D. Detecting redundant unit tests for AspectJ programs Proceedings - International Symposium On Software Reliability Engineering, Issre. 179-188. DOI: 10.1109/ISSRE.2006.21 |
0.478 |
|
2005 |
Sen K, Marinov D, Agha G. CUTE: A concolic unit testing engine for C Esec/Fse'05 - Proceedings of the Joint 10th European Software Engineering Conference (Esec) and 13th Acm Sigsoft Symposium On the Foundations of Software Engineering (Fse-13). 263-272. |
0.349 |
|
2005 |
Xie T, Marinov D, Schulte W, Notkin D. Symstra: A framework for generating object-oriented unit tests using symbolic execution Lecture Notes in Computer Science. 3440: 365-381. |
0.376 |
|
2004 |
Khurshid S, Marinov D. TestEra: Specification-based testing of java programs using SAT Automated Software Engineering. 11: 403-434. DOI: 10.1023/B:AUSE.0000038938.10589.b9 |
0.366 |
|
2004 |
Xie T, Marinov D, Notkin D. Rostra: A framework for detecting redundant object-oriented unit tests Proceedings - 19th International Conference On Automated Software Engineering, Ase 2004. 196-205. |
0.395 |
|
2002 |
Marinov D, Radoicic R. Counting 1324-avoiding permutations Electronic Journal of Combinatorics. 9. DOI: 10.37236/1685 |
0.325 |
|
2002 |
Boyapati C, Khurshid S, Marinov D. Korat: Automated testing based on Java predicates Proceedings of the Acm Sigsoft 2002 International Symposium On Software Testing and Analysis. 123-133. |
0.41 |
|
2001 |
Khurshid S, Marinov D. Checking Java implementation of a naming architecture using TestEra Electronic Notes in Theoretical Computer Science. 55: 322-342. DOI: 10.1016/S1571-0661(04)00260-9 |
0.446 |
|
Show low-probability matches. |