An Approach to Characterization of Parallel Applications for DSM Systems. - Darko Marinov; Davor Magdic; Aleksandar Milenkovic; Jelica Protic; Igor Tartalja; Veljko Milutinovic (HICSS (7), 1998)

CALKAS: a computer architecture learning and knowledge assessment system. - Jovan Djordjevic; Aleksandar Milenkovic; Ivan Todorovic; Darko Marinov (WCAE@HPCA, 1999)

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 (MASCOTS, 2000)

TestEra: A Novel Framework for Automated Testing of Java Programs. - Darko Marinov; Sarfraz Khurshid (ASE, 2001)

Checking Java implementation of a naming architecture using Testera. - Sarfraz Khurshid; Darko Marinov (Workshop on Software Model Checking @ CAV, 2001)

VAlloy - Virtual Functions Meet a Relational Language. - Darko Marinov; Sarfraz Khurshid (FME, 2002)

Korat: automated testing based on Java predicates. - Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov (ISSTA, 2002)

An analyzable annotation language. - Sarfraz Khurshid; Darko Marinov; Daniel Jackson 001 (OOPSLA, 2002)

Counting 1324-Avoiding Permutations. - Darko Marinov; Rados Radoicic (Electron. J. Comb., 2002)

Integrating Model Checking and Theorem Proving for Relational Reasoning. - Konstantine Arkoudas; Sarfraz Khurshid; Darko Marinov; Martin C. Rinard (RelMiCS, 2003)

Object equality profiling. - Darko Marinov; Robert O'Callahan (OOPSLA, 2003)

A Case for Efficient Solution Enumeration. - Sarfraz Khurshid; Darko Marinov; Ilya Shlyakhter; Daniel Jackson 001 (SAT, 2003)

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. - Tao Xie 001; Darko Marinov; David Notkin (ASE, 2004)

TestEra: Specification-Based Testing of Java Programs Using SAT. - Sarfraz Khurshid; Darko Marinov (Autom. Softw. Eng., 2004)

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. - Ahmed Sobeih; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (ICFEM, 2005)

Optimizations for Compiling Declarative Models into Boolean Formulas. - Darko Marinov; Sarfraz Khurshid; Suhabe Bugrara; Lintao Zhang; Martin C. Rinard (SAT, 2005)

CUTE: a concolic unit testing engine for C. - Koushik Sen; Darko Marinov; Gul Agha (ESEC/SIGSOFT FSE, 2005)

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. - Tao Xie 001; Darko Marinov; Wolfram Schulte; David Notkin (TACAS, 2005)

Automatic testing of software with structurally complex inputs. - Darko Marinov (2005)

Automated Detection of Refactorings in Evolving Components. - Danny Dig; Can Comertoglu; Darko Marinov; Ralph E. Johnson (ECOOP, 2006)

Optimized Execution of Deterministic Blocks in Java PathFinder. - Marcelo d'Amorim; Ahmed Sobeih; Darko Marinov (ICFEM, 2006)

Detecting Redundant Unit Tests for AspectJ Programs. - Tao Xie 001; Jianjun Zhao 001; Darko Marinov; David Notkin (ISSRE, 2006)

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. - Marcelo d'Amorim; Carlos Pacheco; Tao Xie 001; Darko Marinov; Michael D. Ernst (ASE, 2006)

Analyzing the Uses of a Software Modeling Tool. - Xiaoming Li 004; Daryl Shannon; Jabari Walker; Sarfraz Khurshid; Darko Marinov (LDTA@ETAPS, 2006)

Automated Testing of Eclipse and NetBeans Refactoring Tools. - Brett Daniel; Danny Dig; Kely Garcia; Darko Marinov (WRT, 2007)

Korat: A Tool for Generating Structurally Complex Test Inputs. - Aleksandar Milicevic; Sasa Misailovic; Darko Marinov; Sarfraz Khurshid (ICSE, 2007)

Towards a Framework for Differential Unit Testing of Object-Oriented Programs. - Tao Xie 001; Kunal Taneja; Shreyas Kale; Darko Marinov (AST, 2007)

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. - Ahmed Sobeih; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (IPDPS, 2007)

Automated testing of refactoring engines. - Brett Daniel; Danny Dig; Kely Garcia; Darko Marinov (ESEC/SIGSOFT FSE, 2007)

Parallel test generation and execution with Korat. - Sasa Misailovic; Aleksandar Milicevic; Nemanja Petrovic; Sarfraz Khurshid; Darko Marinov (ESEC/SIGSOFT FSE, 2007)

State extensions for java pathfinder. - Tihomir Gvero; Milos Gligoric 001; Steven Lauterburg; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid (ICSE, 2008)

Incremental state-space exploration for programs with dynamically allocated data. - Steven Lauterburg; Ahmed Sobeih; Darko Marinov; Mahesh Viswanathan 001 (ICSE, 2008)

Efficient solving of structural constraints. - Bassem Elkarablieh; Darko Marinov; Sarfraz Khurshid (ISSTA, 2008)

Workshop on state-space exploration for automated testing (SSEAT 2008). - Darko Marinov; Wolfram Schulte (ISSTA, 2008)

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. - Marcelo d'Amorim; Steven Lauterburg; Darko Marinov (IEEE Trans. Software Eng., 2008)

Reducing the Costs of Bounded-Exhaustive Testing. - Vilas Jagannath; Yun Young Lee; Brett Daniel; Darko Marinov (FASE, 2009)

Optimizing Generation of Object Graphs in Java PathFinder. - Milos Gligoric 001; Tihomir Gvero; Steven Lauterburg; Darko Marinov; Sarfraz Khurshid (ICST, 2009)

ReAssert: Suggesting Repairs for Broken Unit Tests. - Brett Daniel; Vilas Jagannath; Danny Dig; Darko Marinov (ASE, 2009)

A Framework for State-Space Exploration of Java-Based Actor Programs. - Steven Lauterburg; Mirco Dotta; Darko Marinov; Gul A. Agha (ASE, 2009)

Optimizing a Structural Constraint Solver for Efficient Software Checking. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ASE, 2009)

Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. - Adrian Nistor; Darko Marinov; Josep Torrellas (MICRO, 2009)

Introducing Continuous Systematic Testing of Evolving Software. - Mary Jean Harrold; Darko Marinov; Stephen Oney; Mauro Pezzè; Adam A. Porter; John Penix; Per Runeson; Shin Yoo (Practical Software Testing: Tool Automation and Human Factors, 2010)

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (FASE, 2010)

Test generation through programming in UDITA. - Milos Gligoric 001; Tihomir Gvero; Vilas Jagannath; Sarfraz Khurshid; Viktor Kuncak; Darko Marinov (ICSE (1), 2010)

IMUnit: improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Grigore Rosu; Darko Marinov (IWMSE@ICSE, 2010)

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. - Milos Gligoric 001; Vilas Jagannath; Darko Marinov (ICST, 2010)

Mutation Operators for Actor Systems. - Vilas Jagannath; Milos Gligoric 001; Steven Lauterburg; Darko Marinov; Gul Agha (ICST Workshops, 2010)

A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. - Rohan Sharma; Milos Gligoric 001; Vilas Jagannath; Darko Marinov (ICST Workshops, 2010)

On test repair using symbolic execution. - Brett Daniel; Tihomir Gvero; Darko Marinov (ISSTA, 2010)

InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing. - Adrian Nistor; Darko Marinov; Josep Torrellas (MICRO, 2010)

Basset: a tool for systematic testing of actor programs. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (SIGSOFT FSE, 2010)

Assertion Checking in J-Sim Simulation Models of Network Protocols. - Ahmed Sobeih; Marcelo d'Amorim; Mahesh Viswanathan 001; Darko Marinov; Jennifer C. Hou (Simul., 2010)

Testing Container Classes: Random or Systematic? - Rohan Sharma; Milos Gligoric 001; Andrea Arcuri; Gordon Fraser 001; Darko Marinov (FASE, 2011)

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 (ICSE, 2011)

An Empirical Study of JUnit Test-Suite Reduction. - Lingming Zhang 001; Darko Marinov; Lu Zhang 023; Sarfraz Khurshid (ISSRE, 2011)

CoDeSe: fast deserialization via code generation. - Milos Gligoric 001; Darko Marinov; Sam Kamin (ISSTA, 2011)

Change-aware preemption prioritization. - Vilas Jagannath; Qingzhou Luo; Darko Marinov (ISSTA, 2011)

TestEra: A tool for testing Java programs using alloy specifications. - Shadi Abdul Khalek; Guowei Yang 001; Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ASE, 2011)

Improved multithreaded unit testing. - Vilas Jagannath; Milos Gligoric 001; Dongyun Jin; Qingzhou Luo; Grigore Rosu; Darko Marinov (SIGSOFT FSE, 2011)

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 (FMOODS/FORTE, 2012)

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. - Adrian Nistor; Qingzhou Luo; Michael Pradel; Thomas R. Gross; Darko Marinov (ICSE, 2012)

X10X: Model Checking a New Programming Language with an "Old" Model Checker. - Milos Gligoric 001; Peter C. Mehlitz; Darko Marinov (ICST, 2012)

Evaluating Machine-Independent Metrics for State-Space Exploration. - Vilas Jagannath; Matt Kirn; Yu Lin; Darko Marinov (ICST, 2012)

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. - Junaid Haroon Siddiqui; Darko Marinov; Sarfraz Khurshid (ICST, 2012)

@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. - Shin Hwei Tan; Darko Marinov; Lin Tan 001; Gary T. Leavens (ICST, 2012)

Regression mutation testing. - Lingming Zhang 001; Darko Marinov; Lu Zhang 023; Sarfraz Khurshid (ISSTA, 2012)

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. - Valeria S. Bengolea; Nazareno Aguirre; Darko Marinov; Marcelo F. Frias (TAP@TOOLS, 2012)

Systematic Testing of Refactoring Engines on Real Software Projects. - Milos Gligoric 001; Farnaz Behrang; Yilong Li; Jeffrey Overbey; Munawar Hafiz; Darko Marinov (ECOOP, 2013)

Temporal code completion and navigation. - Yun Young Lee; Sam Harwell; Sarfraz Khurshid; Darko Marinov (ICSE, 2013)

Toddler: detecting performance problems via similar memory-access patterns. - Adrian Nistor; Linhai Song; Darko Marinov; Shan Lu 001 (ICSE, 2013)

Comparing non-adequate test suites using coverage criteria. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ISSTA, 2013)

Faster mutation testing inspired by test prioritization and reduction. - Lingming Zhang 001; Darko Marinov; Sarfraz Khurshid (ISSTA, 2013)

Operator-based and random mutant selection: Better together. - Lingming Zhang 001; Milos Gligoric 001; Darko Marinov; Sarfraz Khurshid (ASE, 2013)

Model-based, event-driven programming paradigm for interactive web applications. - Aleksandar Milicevic; Daniel Jackson 001; Milos Gligoric 001; Darko Marinov (Onward!, 2013)

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. - Chang Hwan Peter Kim; Darko Marinov; Sarfraz Khurshid; Don S. Batory; Sabrina Souto; Paulo Barros; Marcelo d'Amorim (ESEC/SIGSOFT FSE, 2013)

Efficient mutation testing of multithreaded code. - Milos Gligoric 001; Vilas Jagannath; Qingzhou Luo; Darko Marinov (Softw. Test. Verification Reliab., 2013)

Regression Test Selection for Distributed Software Histories. - Milos Gligoric 001; Rupak Majumdar; Rohan Sharma; Lamyaa Eloussi; Darko Marinov (CAV, 2014)

An empirical evaluation and comparison of manual and automated test selection. - Milos Gligoric 001; Stas Negara; Owolabi Legunsen; Darko Marinov (ASE, 2014)

An empirical analysis of flaky tests. - Qingzhou Luo; Farah Hariri; Lamyaa Eloussi; Darko Marinov (SIGSOFT FSE, 2014)

Balancing trade-offs in test-suite reduction. - August Shi; Alex Gyori; Milos Gligoric 001; Andrey Zaytsev; Darko Marinov (SIGSOFT FSE, 2014)

Towards a test automation framework for alloy. - Allison Sullivan; Razieh Nokhbeh Zaeem; Sarfraz Khurshid; Darko Marinov (SPIN, 2014)

RepOK-based reduction of bounded exhaustive testing. - Valeria S. Bengolea; Nazareno Aguirre; Darko Marinov; Marcelo F. Frias (Softw. Test. Verification Reliab., 2014)

Ekstazi: Lightweight Test Selection. - Milos Gligoric 001; Lamyaa Eloussi; Darko Marinov (ICSE (2), 2015)

Tempura: Temporal Dimension for IDEs. - Yun Young Lee; Darko Marinov; Ralph E. Johnson (ICSE (1), 2015)

Evolution-Aware Monitoring-Oriented Programming. - Owolabi Legunsen; Darko Marinov; Grigore Rosu (ICSE (2), 2015)

Practical regression test selection with dynamic file dependencies. - Milos Gligoric 001; Lamyaa Eloussi; Darko Marinov (ISSTA, 2015)

Reliable testing: detecting state-polluting tests to prevent test dependency. - Alex Gyori; August Shi; Farah Hariri; Darko Marinov (ISSTA, 2015)

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). - Ziyi Lin; Darko Marinov; Hao Zhong 001; Yuting Chen 001; Jianjun Zhao 001 (ASE, 2015)

Comparing and combining test-suite reduction and regression test selection. - August Shi; Tifany Yung; Alex Gyori; Darko Marinov (ESEC/SIGSOFT FSE, 2015)

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 (SPLC, 2015)

A Case Study on Executing Instrumented Code in Java PathFinder. - Karl Palmskog; Farah Hariri; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2015)

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ACM Trans. Softw. Eng. Methodol., 2015)

COPE: vision for a change-oriented programming environment. - Danny Dig; Ralph E. Johnson; Darko Marinov; Brian P. Bailey; Don S. Batory (ICSE (Companion Volume), 2016)

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. - Rudolf Ramler; Michael Felderer; Takashi Kitamura 001; Darko Marinov (ICST Workshops, 2016)

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. - August Shi; Alex Gyori; Owolabi Legunsen; Darko Marinov (ICST, 2016)

Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. - Farah Hariri; August Shi; Hayes Converse; Sarfraz Khurshid; Darko Marinov (ISSRE, 2016)

Evaluating non-adequate test-case reduction. - Mohammad Amin Alipour; August Shi; Rahul Gopinath; Darko Marinov; Alex Groce (ASE, 2016)

Usage, costs, and benefits of continuous integration in open-source projects. - Michael Hilton; Timothy Tunnell; Kai Huang; Darko Marinov; Danny Dig (ASE, 2016)

How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. - Owolabi Legunsen; Wajih Ul Hassan; Xinyue Xu; Grigore Rosu; Darko Marinov (ASE, 2016)

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. - Alex Gyori; Ben Lambeth; August Shi; Owolabi Legunsen; Darko Marinov (SIGSOFT FSE, 2016)

An extensive study of static regression test selection in modern software evolution. - Owolabi Legunsen; Farah Hariri; August Shi; Yafeng Lu; Lingming Zhang 001; Darko Marinov (SIGSOFT FSE, 2016)

Exploring Underdetermined Specifications using Java PathFinder. - Alex Gyori; Ben Lambeth; Sarfraz Khurshid; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2016)

You Want Me to Work with Who?: Stakeholder Perceptions of Automated Team Formation in Project-based Courses. - Farnaz Jahanbakhsh; Wai-Tat Fu; Karrie Karahalios; Darko Marinov; Brian P. Bailey (CHI, 2017)

STARTS: STAtic regression test selection. - Owolabi Legunsen; August Shi; Darko Marinov (ASE, 2017)

Trade-offs in continuous integration: assurance, security, and flexibility. - Michael Hilton; Nicholas Nelson 002; Timothy Tunnell; Darko Marinov; Danny Dig (ESEC/SIGSOFT FSE, 2017)

Evaluating State Modeling Techniques in Alloy. - Allison Sullivan; Kaiyuan Wang; Sarfraz Khurshid; Darko Marinov (SQAMIA, 2017)

Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). - Gordon Fraser 001; Darko Marinov (Softw. Test. Verification Reliab., 2017)

Systematic Generation of Non-equivalent Expressions for Relational Algebra. - Kaiyuan Wang; Allison Sullivan; Manos Koukoutos; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

Solver-Based Sketching of Alloy Models Using Test Valuations. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)

DeFlaker: automatically detecting flaky tests. - Jonathan Bell 001; Owolabi Legunsen; Michael Hilton; Lamyaa Eloussi; Tifany Yung; Darko Marinov (ICSE, 2018)

An extensible, regular-expression-based tool for multi-language mutant generation. - Alex Groce; Josie Holmes; Darko Marinov; August Shi; Lingming Zhang 001 (ICSE (Companion Volume), 2018)

Mining container image repositories for software configuration and beyond. - Tianyin Xu; Darko Marinov (ICSE (NIER), 2018)

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. - Alex Gyori; Owolabi Legunsen; Farah Hariri; Darko Marinov (ISSRE, 2018)

Evaluating test-suite reduction in real software evolution. - August Shi; Alex Gyori; Suleman Mahmood; Peiyuan Zhao; Darko Marinov (ISSTA, 2018)

A large-scale study of test coverage evolution. - Michael Hilton; Jonathan Bell 001; Darko Marinov (ASE, 2018)

ASketch: a sketching framework for Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2018)

Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. - Sarfraz Khurshid; Darko Marinov (SQAMIA, 2018)

Structure or Nurture?: The Effects of Team-Building Activities and Team Composition on Team Outcomes. - Emily M. Hastings; Farnaz Jahanbakhsh; Karrie Karahalios; Darko Marinov; Brian P. Bailey (Proc. ACM Hum. Comput. Interact., 2018)

Minotaur: Adapting Software Testing Techniques for Hardware Errors. - Abdulrahman Mahmoud; Radha Venkatagiri; Khalique Ahmed; Sasa Misailovic; Darko Marinov; Christopher W. Fletcher; Sarita V. Adve (ASPLOS, 2019)

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 (DSN, 2019)

Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context. - Matthew Krafczyk; August Shi; Adhithya Bhaskar; Darko Marinov; Victoria Stodden (P-RECS@HPDC, 2019)

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. - Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ICFEM, 2019)

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. - Farah Hariri; August Shi; Vimuth Fernando; Suleman Mahmood; Darko Marinov (ICST, 2019)

iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. - Wing Lam; Reed Oei; August Shi; Darko Marinov; Tao Xie 001 (ICST, 2019)

Techniques for Evolution-Aware Runtime Verification. - Owolabi Legunsen; Yi Zhang; Milica Hadzi-Tanovic; Grigore Rosu; Darko Marinov (ICST, 2019)

Understanding and Improving Regression Test Selection in Continuous Integration. - August Shi; Peiyuan Zhao; Darko Marinov (ISSRE, 2019)

Mitigating the effects of flaky tests on mutation testing. - August Shi; Jonathan Bell 001; Darko Marinov (ISSTA, 2019)

Open Source Vulnerability Notification. - Brandon Carlson; Kevin Leach; Darko Marinov; Meiyappan Nagappan; Atul Prakash 001 (OSS, 2019)

iFixFlakies: a framework for automatically fixing order-dependent flaky tests. - August Shi; Wing Lam; Reed Oei; Tao Xie 001; Darko Marinov (ESEC/SIGSOFT FSE, 2019)

How effective are existing Java API specifications for finding bugs during runtime verification? - Owolabi Legunsen; Nader Al Awar; Xinyue Xu; Wajih Ul Hassan; Grigore Rosu; Darko Marinov (Autom. Softw. Eng., 2019)

Reflection-aware static regression test selection. - August Shi; Milica Hadzi-Tanovic; Lingming Zhang 001; Darko Marinov; Owolabi Legunsen (Proc. ACM Program. Lang., 2019)

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 (CHI, 2020)

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. - Wing Lam; Stefan Winter 001; Angello Astorga; Victoria Stodden; Darko Marinov (ISSRE, 2020)

Fault Localization for Declarative Models in Alloy. - Kaiyuan Wang; Allison Sullivan; Darko Marinov; Sarfraz Khurshid (ISSRE, 2020)

Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. - Zirui Neil Zhao; Houxiang Ji; Mengjia Yan 001; Jiyong Yu; Christopher W. Fletcher; Adam Morrison 001; Darko Marinov; Josep Torrellas (MICRO, 2020)

AlloyMC: Alloy meets model counting. - Jiayi Yang; Wenxi Wang; Darko Marinov; Sarfraz Khurshid (ESEC/SIGSOFT FSE, 2020)

A large-scale longitudinal study of flaky tests. - Wing Lam; Stefan Winter 001; Anjiang Wei; Tao Xie 001; Darko Marinov; Jonathan Bell 001 (Proc. ACM Program. Lang., 2020)

Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. - Peilun Zhang; Yanjie Jiang; Anjiang Wei; Victoria Stodden; Darko Marinov; August Shi (ICSE, 2021)

Test-case prioritization for configuration testing. - Runxiang Cheng; Lingming Zhang 001; Darko Marinov; Tianyin Xu (ISSTA, 2021)

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. - Wenxi Wang; Pu Yi 001; Sarfraz Khurshid; Darko Marinov (ICTSS, 2021)

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. - Anjiang Wei; Pu Yi 001; Tao Xie 001; Darko Marinov; Wing Lam (TACAS (1), 2021)

Finding Polluter Tests Using Java PathFinder. - Pu Yi 001; Anjiang Wei; Wing Lam; Tao Xie 001; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2021)

Pinned loads: taming speculative loads in secure processors. - Zirui Neil Zhao; Houxiang Ji; Adam Morrison 001; Darko Marinov; Josep Torrellas (ASPLOS, 2022)

Preempting Flaky Tests via Non-Idempotent-Outcome Tests. - Anjiang Wei; Pu Yi 001; Zhengxi Li; Tao Xie 001; Darko Marinov; Wing Lam (ICSE, 2022)

A Theoretical Analysis of Random Regression Test Prioritization. - Pu Yi 001; Hao Wang 112; Tao Xie 001; Darko Marinov; Wing Lam (TACAS (2), 2022)

Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries. - Samuel Grayson; Darko Marinov; Daniel S. Katz; Reed Milewicz (ACM-REP, 2023)

Test Selection for Unified Regression Testing. - Shuai Wang 035; Xinyu Lian; Darko Marinov; Tianyin Xu (ICSE, 2023)

Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. - Chunqiu Steven Xia; Saikat Dutta 001; Sasa Misailovic; Darko Marinov; Lingming Zhang 001 (ICSE, 2023)

Transforming Test Suites into Croissants. - Yang Chen 059; Alperen Yildiz; Darko Marinov; Reyhaneh Jabbarvand (ISSTA, 2023)

Reproducing and Improving the BugsInPy Dataset. - Faustino Aguilar; Samuel Grayson; Darko Marinov (SCAM, 2023)

Wanted: standards for automatic reproducibility of computational experiments. - Samuel Grayson; Reed Milewicz; Joshua B. Teves; Daniel S. Katz; Darko Marinov (CoRR, 2023)

TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. - Chaitra Niddodi; Stefan Nagy; Darko Marinov; Sibin Mohan (CoRR, 2023)

Suboptimal Comments in Java Projects: From Independent Comment Changes to Commenting Practices. - Chao Wang; Hao He 012; Uma Pal; Darko Marinov; Minghui Zhou 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Workflow Registry Tester. - Samuel Grayson; Darko Marinov; Daniel S. Katz; Reed Milewicz (Zenodo, 2023)

A benchmark suite and performance analysis of user-space provenance collectors. - Samuel Grayson; Faustino Aguilar; Reed Milewicz; Daniel S. Katz; Darko Marinov (ACM-REP, 2024)

GlueTest: Testing Code Translation via Language Interoperability. - Muhammad Salman Abid; Mrigank Pawagi; Sugam Adhikari; Xuyan Cheng; Ryed Badr; Md Wahiduzzaman; Vedant Rathi; Ronghui Qi; Choiyin Li; Lu Liu; Rohit Sai Naidu; Licheng Lin; et al. (ICSME, 2024)

Hierarchy-Aware Regression Test Prioritization. - Hao Wang 112; Pu (Luke) Yi 001; Jeremias Parladorio; Wing Lam; Darko Marinov; Tao Xie 001 (ISSRE, 2024)

Revisiting Test-Case Prioritization on Long-Running Test Suites. - Runxiang Cheng; Shuai Wang 035; Reyhaneh Jabbarvand; Darko Marinov (ISSTA, 2024)

Ctest4J: A Practical Configuration Testing Framework for Java. - Shuai Wang 035; Xinyu Lian; Qingyu Li; Darko Marinov; Tianyin Xu (SIGSOFT FSE Companion, 2024)

FastFlip: Compositional Error Injection Analysis. - Keyur Joshi 001; Rahul Singh; Tommaso Bassetto; Sarita V. Adve; Darko Marinov; Sasa Misailovic (CoRR, 2024)

Transforming the Hybrid Cloud for Emerging AI Workloads. - Deming Chen; Alaa Youssef; Ruchi Pendse; André Schleife; Bryan K. Clark; Hendrik F. Hamann; Jingrui He; Teodoro Laino; Lav R. Varshney; Yuxiong Wang; Avirup Sil; Reyhaneh Jabbarvand; et al. (CoRR, 2024)

FastFlip: Compositional SDC Resiliency Analysis. - Keyur Joshi 001; Rahul Singh; Tommaso Bassetto; Sarita V. Adve; Darko Marinov; Sasa Misailovic (CGO, 2025)

Evaluating NonDex for Modern Java Ecosystem. - Kaiyao Ke; Darko Marinov (FTW@ICSE, 2025)

pytest-ranking: A Regression Test Prioritization Tool for Python. - Runxiang Cheng; Kaiyao Ke; Darko Marinov (SIGSOFT FSE Companion, 2025)