Darko Marinov

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 77

Top Venues

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
FastFlip: Compositional Error Injection Analysis. CoRR (2024)
Samuel Grayson, Faustino Aguilar, Reed Milewicz, Daniel S. Katz, Darko Marinov
A benchmark suite and performance analysis of user-space provenance collectors. ACM-REP (2024)
Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu
Ctest4J: A Practical Configuration Testing Framework for Java. SIGSOFT FSE Companion (2024)
Chaitra Niddodi, Stefan Nagy, Darko Marinov, Sibin Mohan
TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. CoRR (2023)
Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE (2023)
Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu
Test Selection for Unified Regression Testing. ICSE (2023)
Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand
Transforming Test Suites into Croissants. ISSTA (2023)
Samuel Grayson, Reed Milewicz, Joshua B. Teves, Daniel S. Katz, Darko Marinov
Wanted: standards for automatic reproducibility of computational experiments. CoRR (2023)
Faustino Aguilar, Samuel Grayson, Darko Marinov
Reproducing and Improving the BugsInPy Dataset. SCAM (2023)
Samuel Grayson, Darko Marinov, Daniel S. Katz, Reed Milewicz
Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries. ACM-REP (2023)
Chao Wang, Hao He, Uma Pal, Darko Marinov, Minghui Zhou
Suboptimal Comments in Java Projects: From Independent Comment Changes to Commenting Practices. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas
Pinned loads: taming speculative loads in secure processors. ASPLOS (2022)
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering (2022)
Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam
Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE (2022)
Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam
A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) (2022)
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS (2021)
Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov
Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 46 (3) (2021)
Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi
Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. ICSE (2021)
Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu
Test-case prioritization for configuration testing. ISSTA (2021)
Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. TACAS (1) (2021)
Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov
Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. ISSRE (2020)
Emily M. Hastings, Albatool A. Alamri, Andrew Kuznetsov, Christine Pisarczyk, Karrie Karahalios, Darko Marinov, Brian P. Bailey
LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation. CHI (2020)
Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas
Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. MICRO (2020)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. ISSRE (2020)
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
A large-scale longitudinal study of flaky tests. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE (2020)
Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM (2019)
Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. ICST (2019)
Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov
How effective are existing Java API specifications for finding bugs during runtime verification? Autom. Softw. Eng. 26 (4) (2019)
August Shi, Peiyuan Zhao, Darko Marinov
Understanding and Improving Regression Test Selection in Continuous Integration. ISSRE (2019)
Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST (2019)
August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE (2019)
Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. DSN (2019)
Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov
Techniques for Evolution-Aware Runtime Verification. ICST (2019)
August Shi, Jonathan Bell, Darko Marinov
Mitigating the effects of flaky tests on mutation testing. ISSTA (2019)
Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
Minotaur: Adapting Software Testing Techniques for Hardware Errors. ASPLOS (2019)
Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash
Open Source Vulnerability Notification. OSS (2019)
Matthew Krafczyk, August Shi, Adhithya Bhaskar, Darko Marinov, Victoria Stodden
Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context. P-RECS@HPDC (2019)
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
Evaluating test-suite reduction in real software evolution. ISSTA (2018)
Tianyin Xu, Darko Marinov
Mining container image repositories for software configuration and beyond. ICSE (NIER) (2018)
Tianyin Xu, Darko Marinov
Mining Container Image Repositories for Software Configuration and Beyond. CoRR (2018)
Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang
An extensible, regular-expression-based tool for multi-language mutant generation. ICSE (Companion Volume) (2018)
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE (2018)
Michael Hilton, Jonathan Bell, Darko Marinov
A large-scale study of test coverage evolution. ASE (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE (2018)
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ (2018)
Emily M. Hastings, Farnaz Jahanbakhsh, Karrie Karahalios, Darko Marinov, Brian P. Bailey
Structure or Nurture?: The Effects of Team-Building Activities and Team Composition on Team Outcomes. Proc. ACM Hum. Comput. Interact. 2 (CSCW) (2018)
Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov
DeFlaker: automatically detecting flaky tests. ICSE (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. CoRR (2018)
Sarfraz Khurshid, Darko Marinov
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA (2018)
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, Danny Dig
Trade-offs in continuous integration: assurance, security, and flexibility. ESEC/SIGSOFT FSE (2017)
Farnaz Jahanbakhsh, Wai-Tat Fu, Karrie Karahalios, Darko Marinov, Brian P. Bailey
?: Stakeholder Perceptions of Automated Team Formation in Project-based Courses. CHI (2017)
Gordon Fraser, Darko Marinov
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). Softw. Test. Verification Reliab. 27 (6) (2017)
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
Evaluating State Modeling Techniques in Alloy. SQAMIA (2017)
Owolabi Legunsen, August Shi, Darko Marinov
STARTS: STAtic regression test selection. ASE (2017)
Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE (2016)
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST (2016)
Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig
Usage, costs, and benefits of continuous integration in open-source projects. ASE (2016)
Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory
COPE: vision for a change-oriented programming environment. ICSE (Companion Volume) (2016)
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
An extensive study of static regression test selection in modern software evolution. SIGSOFT FSE (2016)
Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops (2016)
Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE (2016)
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
Evaluating non-adequate test-case reduction. ASE (2016)
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov
How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. ASE (2016)
Alex Gyori, August Shi, Farah Hariri, Darko Marinov
Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA (2015)
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE (2015)
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Milos Gligoric, Lamyaa Eloussi, Darko Marinov
Practical regression test selection with dynamic file dependencies. ISSTA (2015)
Yun Young Lee, Darko Marinov, Ralph E. Johnson
Tempura: Temporal Dimension for IDEs. ICSE (1) (2015)
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
Faster bug detection for software product lines with incomplete feature models. SPLC (2015)
August Shi, Tifany Yung, Alex Gyori, Darko Marinov
Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE (2015)
Milos Gligoric, Lamyaa Eloussi, Darko Marinov
Ekstazi: Lightweight Test Selection. ICSE (2) (2015)
Owolabi Legunsen, Darko Marinov, Grigore Rosu
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) (2015)
Karl Palmskog, Farah Hariri, Darko Marinov
A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
An empirical evaluation and comparison of manual and automated test selection. ASE (2014)
Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
Regression Test Selection for Distributed Software Histories. CAV (2014)
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
Balancing trade-offs in test-suite reduction. SIGSOFT FSE (2014)
Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov
An empirical analysis of flaky tests. SIGSOFT FSE (2014)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24 (8) (2014)
Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov
Towards a test automation framework for alloy. SPIN (2014)
Lingming Zhang, Darko Marinov, Sarfraz Khurshid
Faster mutation testing inspired by test prioritization and reduction. ISSTA (2013)
Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid
Operator-based and random mutant selection: Better together. ASE (2013)
Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov
Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP (2013)
Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
Model-based, event-driven programming paradigm for interactive web applications. Onward! (2013)
Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23 (5) (2013)
Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov
Temporal code completion and navigation. ICSE (2013)
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE (2013)
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Comparing non-adequate test suites using coverage criteria. ISSTA (2013)
Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu
Toddler: detecting performance problems via similar memory-access patterns. ICSE (2013)
Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. ICSE (2012)
Milos Gligoric, Peter C. Mehlitz, Darko Marinov
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST (2012)
Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov
Evaluating Machine-Independent Metrics for State-Space Exploration. ICST (2012)
Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE (2012)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS (2012)
Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST (2012)
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST (2012)
Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
Regression mutation testing. ISSTA (2012)

Darko Marinov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Darko Marinov