| 2025 | CGO | FastFlip: Compositional SDC Resiliency Analysis. | Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic |
| 2024 | ISSRE | Hierarchy-Aware Regression Test Prioritization. | Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie |
| 2024 | ISSTA | Revisiting Test-Case Prioritization on Long-Running Test Suites. | Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov |
| 2023 | ICSE | Test Selection for Unified Regression Testing. | Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu |
| 2023 | ICSE | Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. | Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang |
| 2023 | ISSTA | Transforming Test Suites into Croissants. | Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand |
| 2023 | SCAM | Reproducing and Improving the BugsInPy Dataset. | Faustino Aguilar, Samuel Grayson, Darko Marinov |
| 2022 | ASPLOS | Pinned loads: taming speculative loads in secure processors. | Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas |
| 2022 | ICSE | Preempting Flaky Tests via Non-Idempotent-Outcome Tests. | Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam |
| 2022 | TACAS | A Theoretical Analysis of Random Regression Test Prioritization. | Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam |
| 2021 | ICSE | Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. | Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi |
| 2021 | ISSTA | Test-case prioritization for configuration testing. | Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu |
| 2021 | TACAS | Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. | Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam |
| 2020 | CHI | LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation. | Emily M. Hastings, Albatool A. Alamri, Andrew Kuznetsov, Christine Pisarczyk, Karrie Karahalios, Darko Marinov, Brian P. Bailey |
| 2020 | ISSRE | Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. | Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov |
| 2020 | ISSRE | Fault Localization for Declarative Models in Alloy. | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2020 | MICRO | Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. | Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas |
| 2019 | ASPLOS | Minotaur: Adapting Software Testing Techniques for Hardware Errors. | Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve |
| 2019 | DSN | gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. | Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve |
| 2019 | HPDC | Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context. | Matthew Krafczyk, August Shi, Adhithya Bhaskar, Darko Marinov, Victoria Stodden |
| 2019 | ICFEM | Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. | Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | ICST | Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. | Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov |
| 2019 | ICST | iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. | Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie |
| 2019 | ICST | Techniques for Evolution-Aware Runtime Verification. | Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov |
| 2019 | ISSRE | Understanding and Improving Regression Test Selection in Continuous Integration. | August Shi, Peiyuan Zhao, Darko Marinov |
| 2019 | ISSTA | Mitigating the effects of flaky tests on mutation testing. | August Shi, Jonathan Bell, Darko Marinov |
| 2018 | ICSE | DeFlaker: automatically detecting flaky tests. | Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov |
| 2018 | ICSE | An extensible, regular-expression-based tool for multi-language mutant generation. | Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang |
| 2018 | ICSE | Mining container image repositories for software configuration and beyond. | Tianyin Xu, Darko Marinov |
| 2018 | ISSRE | Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. | Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov |
| 2018 | ISSTA | Evaluating test-suite reduction in real software evolution. | August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
| 2017 | CHI | You Want Me to Work with | Farnaz Jahanbakhsh, Wai-Tat Fu, Karrie Karahalios, Darko Marinov, Brian P. Bailey |
| 2016 | ICSE | COPE: vision for a change-oriented programming environment. | Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory |
| 2016 | ICST | Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. | Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov |
| 2016 | ICST | Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. | August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov |
| 2016 | ISSRE | Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. | Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov |
| 2015 | ICSE | Ekstazi: Lightweight Test Selection. | Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2015 | ICSE | Tempura: Temporal Dimension for IDEs. | Yun Young Lee, Darko Marinov, Ralph E. Johnson |
| 2015 | ICSE | Evolution-Aware Monitoring-Oriented Programming. | Owolabi Legunsen, Darko Marinov, Grigore Rosu |
| 2015 | ISSTA | Practical regression test selection with dynamic file dependencies. | Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2015 | ISSTA | Reliable testing: detecting state-polluting tests to prevent test dependency. | Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
| 2015 | SPLC | Faster bug detection for software product lines with incomplete feature models. | Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory |
| 2014 | CAV | Regression Test Selection for Distributed Software Histories. | Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov |
| 2013 | ECOOP | Systematic Testing of Refactoring Engines on Real Software Projects. | Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov |
| 2013 | ICSE | Temporal code completion and navigation. | Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov |
| 2013 | ICSE | Toddler: detecting performance problems via similar memory-access patterns. | Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu |
| 2013 | ISSTA | Comparing non-adequate test suites using coverage criteria. | Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
| 2013 | ISSTA | Faster mutation testing inspired by test prioritization and reduction. | Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
| 2013 | OOPSLA | Model-based, event-driven programming paradigm for interactive web applications. | Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov |
| 2012 | FORTE | TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
| 2012 | ICSE | Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. | Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov |
| 2012 | ICST | X10X: Model Checking a New Programming Language with an "Old" Model Checker. | Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
| 2012 | ICST | Evaluating Machine-Independent Metrics for State-Space Exploration. | Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov |
| 2012 | ICST | Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
| 2012 | ICST | @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. | Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens |
| 2012 | ISSTA | Regression mutation testing. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2012 | TAP | Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias |
| 2011 | FASE | Testing Container Classes: Random or Systematic? | Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov |
| 2011 | ICSE | ReAssert: a tool for repairing broken unit tests. | Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov |
| 2011 | ISSRE | An Empirical Study of JUnit Test-Suite Reduction. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2011 | ISSTA | CoDeSe: fast deserialization via code generation. | Milos Gligoric, Darko Marinov, Sam Kamin |
| 2011 | ISSTA | Change-aware preemption prioritization. | Vilas Jagannath, Qingzhou Luo, Darko Marinov |
| 2010 | FASE | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
| 2010 | ICSE | Test generation through programming in UDITA. | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
| 2010 | ICSE | IMUnit: improved multithreaded unit testing. | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov |
| 2010 | ICST | MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. | Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | ICST | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2010 | ICST | A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. | Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | ISSTA | On test repair using symbolic execution. | Brett Daniel, Tihomir Gvero, Darko Marinov |
| 2010 | MICRO | InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing. | Adrian Nistor, Darko Marinov, Josep Torrellas |
| 2009 | FASE | Reducing the Costs of Bounded-Exhaustive Testing. | Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov |
| 2009 | ICST | Optimizing Generation of Object Graphs in Java PathFinder. | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2009 | MICRO | Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. | Adrian Nistor, Darko Marinov, Josep Torrellas |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | Incremental state-space exploration for programs with dynamically allocated data. | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan |
| 2008 | ISSTA | Efficient solving of structural constraints. | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid |
| 2008 | ISSTA | Workshop on state-space exploration for automated testing (SSEAT 2008). | Darko Marinov, Wolfram Schulte |
| 2007 | ECOOP | Automated Testing of Eclipse and NetBeans Refactoring Tools. | Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov |
| 2007 | ICSE | Korat: A Tool for Generating Structurally Complex Test Inputs. | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |
| 2007 | ICSE | Towards a Framework for Differential Unit Testing of Object-Oriented Programs. | Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov |
| 2007 | ISSTA | Delta execution for efficient state-space exploration of object-oriented programs. | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
| 2006 | ECOOP | Automated Detection of Refactorings in Evolving Components. | Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson |
| 2006 | ICFEM | Optimized Execution of Deterministic Blocks in Java PathFinder. | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
| 2006 | ISSRE | Detecting Redundant Unit Tests for AspectJ Programs. | Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin |
| 2005 | ICFEM | Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. | Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou |
| 2005 | SAT | Optimizations for Compiling Declarative Models into Boolean Formulas. | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2005 | TACAS | Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. | Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin |
| 2003 | OOPSLA | Object equality profiling. | Darko Marinov, Robert O'Callahan |
| 2003 | SAT | A Case for Efficient Solution Enumeration. | Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson |
| 2002 | FM | VAlloy - Virtual Functions Meet a Relational Language. | Darko Marinov, Sarfraz Khurshid |
| 2002 | ISSTA | Korat: automated testing based on Java predicates. | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
| 2002 | OOPSLA | An analyzable annotation language. | Sarfraz Khurshid, Darko Marinov, Daniel Jackson |
| 2000 | MASCOTS | Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. | Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic |
| 1999 | WCAE | CALKAS: a computer architecture learning and knowledge assessment system. | Jovan Djordjevic, Aleksandar Milenkovic, Ivan Todorovic, Darko Marinov |