Darko Marinov - RankMe

169 papers A* 36A 47B 5C 8Journal 22Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects. ASE Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, Tianyin Xu
2025	—	`conf`	Evaluating NonDex for Modern Java Ecosystem. FTW@ICSE Kaiyao Ke, Darko Marinov
2025	A	`conf`	FastFlip: Compositional SDC Resiliency Analysis. CGO Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2025	—	`conf`	pytest-ranking: A Regression Test Prioritization Tool for Python. SIGSOFT FSE Companion Runxiang Cheng, Kaiyao Ke, Darko Marinov
2024	—	`conf`	A benchmark suite and performance analysis of user-space provenance collectors. ACM-REP Samuel Grayson, Faustino Aguilar, Reed Milewicz, Daniel S. Katz, Darko Marinov
2024	—	`conf`	Ctest4J: A Practical Configuration Testing Framework for Java. SIGSOFT FSE Companion Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu
2024	J	`jnl`	FastFlip: Compositional Error Injection Analysis. CoRR Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2024	A	`conf`	GlueTest: Testing Code Translation via Language Interoperability. ICSME 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, Que Liu, Asif Zubayer Palak, Mehzabin Haque, Xinyu Chen, Darko Marinov, Saikat Dutta
2024	A	`conf`	Hierarchy-Aware Regression Test Prioritization. ISSRE Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie
2024	A	`conf`	Revisiting Test-Case Prioritization on Long-Running Test Suites. ISSTA Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov
2024	J	`jnl`	Transforming the Hybrid Cloud for Emerging AI Workloads. CoRR 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, Tianyin Xu, Volodymyr V. Kindratenko, Carlos H. A. Costa, Sarita V. Adve, Charith Mendis, Minjia Zhang, Santiago Núñez-Corrales, Raghu K. Ganti, Mudhakar Srivatsa, Nam Sung Kim, Josep Torrellas, Jian Huang, Seetharami R. Seelam, Klara Nahrstedt, Tarek F. Abdelzaher, Tamar Eilam, Huimin Zhao, Matteo Manica, Ravishankar K. Iyer, Martin Hirzel, Vikram S. Adve, Darko Marinov, Hubertus Franke, Hanghang Tong, Elizabeth A. Ainsworth, Han Zhao, Deepak Vasisht, Minh Do, Fábio Oliveira, Giovanni Pacifici, Ruchir Puri, Priya Nagpurkar
2023	—	`conf`	Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries. ACM-REP Samuel Grayson, Darko Marinov, Daniel S. Katz, Reed Milewicz
2023	A*	`conf`	Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
2023	C	`conf`	Reproducing and Improving the BugsInPy Dataset. SCAM Faustino Aguilar, Samuel Grayson, Darko Marinov
2023	J	`jnl`	Suboptimal Comments in Java Projects: From Independent Comment Changes to Commenting Practices. ACM Trans. Softw. Eng. Methodol. Chao Wang, Hao He, Uma Pal, Darko Marinov, Minghui Zhou
2023	J	`jnl`	TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. CoRR Chaitra Niddodi, Stefan Nagy, Darko Marinov, Sibin Mohan
2023	A*	`conf`	Test Selection for Unified Regression Testing. ICSE Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu
2023	A	`conf`	Transforming Test Suites into Croissants. ISSTA Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand
2023	J	`jnl`	Wanted: standards for automatic reproducibility of computational experiments. CoRR Samuel Grayson, Reed Milewicz, Joshua B. Teves, Daniel S. Katz, Darko Marinov
2022	C	`conf`	A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
2022	—	`conf`	A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam
2022	A*	`conf`	Pinned loads: taming speculative loads in secure processors. ASPLOS Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas
2022	A*	`conf`	Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam
2021	A*	`conf`	Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. ICSE Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi
2021	J	`jnl`	Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov
2021	C	`conf`	Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
2021	—	`conf`	Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. TACAS (1) Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam
2021	A	`conf`	Test-case prioritization for configuration testing. ISSTA Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu
2020	J	`jnl`	A large-scale longitudinal study of flaky tests. Proc. ACM Program. Lang. Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell
2020	—	`conf`	AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
2020	A	`conf`	Fault Localization for Declarative Models in Alloy. ISSRE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2020	A*	`conf`	LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation. CHI Emily M. Hastings, Albatool A. Alamri, Andrew Kuznetsov, Christine Pisarczyk, Karrie Karahalios, Darko Marinov, Brian P. Bailey
2020	A*	`conf`	Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis. MICRO Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas
2020	A	`conf`	Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. ISSRE Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, Darko Marinov
2019	A	`conf`	Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation. ICST Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov
2019	J	`jnl`	How effective are existing Java API specifications for finding bugs during runtime verification? Autom. Softw. Eng. Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov
2019	A*	`conf`	Minotaur: Adapting Software Testing Techniques for Hardware Errors. ASPLOS Abdulrahman Mahmoud, Radha Venkatagiri, Khalique Ahmed, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
2019	A	`conf`	Mitigating the effects of flaky tests on mutation testing. ISSTA August Shi, Jonathan Bell, Darko Marinov
2019	—	`conf`	Open Source Vulnerability Notification. OSS Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash
2019	J	`jnl`	Reflection-aware static regression test selection. Proc. ACM Program. Lang. August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen
2019	—	`conf`	Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context. P-RECS@HPDC Matthew Krafczyk, August Shi, Adhithya Bhaskar, Darko Marinov, Victoria Stodden
2019	C	`conf`	Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2019	A	`conf`	Techniques for Evolution-Aware Runtime Verification. ICST Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov
2019	A	`conf`	Understanding and Improving Regression Test Selection in Continuous Integration. ISSRE August Shi, Peiyuan Zhao, Darko Marinov
2019	A	`conf`	gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis. DSN Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
2019	A	`conf`	iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie
2019	—	`conf`	iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov
2018	A*	`conf`	A large-scale study of test coverage evolution. ASE Michael Hilton, Jonathan Bell, Darko Marinov
2018	—	`conf`	ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	—	`conf`	An extensible, regular-expression-based tool for multi-language mutant generation. ICSE (Companion Volume) Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang
2018	A*	`conf`	DeFlaker: automatically detecting flaky tests. ICSE Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov
2018	A	`conf`	Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
2018	A	`conf`	Evaluating test-suite reduction in real software evolution. ISSTA August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
2018	J	`jnl`	Fault Localization for Declarative Models in Alloy. CoRR Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	J	`jnl`	Mining Container Image Repositories for Software Configuration and Beyond. CoRR Tianyin Xu, Darko Marinov
2018	—	`conf`	Mining container image repositories for software configuration and beyond. ICSE (NIER) Tianyin Xu, Darko Marinov
2018	—	`conf`	Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA Sarfraz Khurshid, Darko Marinov
2018	C	`conf`	Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	J	`jnl`	Structure or Nurture?: The Effects of Team-Building Activities and Team Composition on Team Outcomes. Proc. ACM Hum. Comput. Interact. Emily M. Hastings, Farnaz Jahanbakhsh, Karrie Karahalios, Darko Marinov, Brian P. Bailey
2018	C	`conf`	Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
2017	J	`jnl`	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. Gordon Fraser, Darko Marinov
2017	—	`conf`	Evaluating State Modeling Techniques in Alloy. SQAMIA Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
2017	A*	`conf`	STARTS: STAtic regression test selection. ASE Owolabi Legunsen, August Shi, Darko Marinov
2017	—	`conf`	Trade-offs in continuous integration: assurance, security, and flexibility. ESEC/SIGSOFT FSE Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, Danny Dig
2017	A*	`conf`	You Want Me to Work with CHI Farnaz Jahanbakhsh, Wai-Tat Fu, Karrie Karahalios, Darko Marinov, Brian P. Bailey
2016	—	`conf`	An extensive study of static regression test selection in modern software evolution. SIGSOFT FSE Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
2016	—	`conf`	COPE: vision for a change-oriented programming environment. ICSE (Companion Volume) Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory
2016	A	`conf`	Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
2016	A*	`conf`	Evaluating non-adequate test-case reduction. ASE Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
2016	A	`conf`	Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov
2016	J	`jnl`	Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
2016	A*	`conf`	How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. ASE Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov
2016	—	`conf`	Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov
2016	—	`conf`	NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
2016	A*	`conf`	Usage, costs, and benefits of continuous integration in open-source projects. ASE Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig
2015	J	`jnl`	A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Karl Palmskog, Farah Hariri, Darko Marinov
2015	—	`conf`	Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE August Shi, Tifany Yung, Alex Gyori, Darko Marinov
2015	—	`conf`	Ekstazi: Lightweight Test Selection. ICSE (2) Milos Gligoric, Lamyaa Eloussi, Darko Marinov
2015	—	`conf`	Evolution-Aware Monitoring-Oriented Programming. ICSE (2) Owolabi Legunsen, Darko Marinov, Grigore Rosu
2015	B	`conf`	Faster bug detection for software product lines with incomplete feature models. SPLC Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
2015	J	`jnl`	Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2015	A*	`conf`	JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao
2015	A	`conf`	Practical regression test selection with dynamic file dependencies. ISSTA Milos Gligoric, Lamyaa Eloussi, Darko Marinov
2015	A	`conf`	Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA Alex Gyori, August Shi, Farah Hariri, Darko Marinov
2015	—	`conf`	Tempura: Temporal Dimension for IDEs. ICSE (1) Yun Young Lee, Darko Marinov, Ralph E. Johnson
2014	—	`conf`	An empirical analysis of flaky tests. SIGSOFT FSE Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov
2014	A*	`conf`	An empirical evaluation and comparison of manual and automated test selection. ASE Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
2014	—	`conf`	Balancing trade-offs in test-suite reduction. SIGSOFT FSE August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
2014	A	`ed.`	International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014 ISSTA Corina S. Pasareanu, Darko Marinov
2014	A*	`conf`	Regression Test Selection for Distributed Software Histories. CAV Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
2014	J	`jnl`	RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
2014	—	`conf`	Towards a test automation framework for alloy. SPIN Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov
2013	A	`conf`	Comparing non-adequate test suites using coverage criteria. ISSTA Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2013	J	`jnl`	Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
2013	A	`conf`	Faster mutation testing inspired by test prioritization and reduction. ISSTA Lingming Zhang, Darko Marinov, Sarfraz Khurshid
2013	—	`conf`	Model-based, event-driven programming paradigm for interactive web applications. Onward! Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
2013	A*	`conf`	Operator-based and random mutant selection: Better together. ASE Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid
2013	—	`conf`	SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
2013	A	`conf`	Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov
2013	A*	`conf`	Temporal code completion and navigation. ICSE Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov
2013	A*	`conf`	Toddler: detecting performance problems via similar memory-access patterns. ICSE Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu
2012	A	`conf`	@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens
2012	A*	`conf`	Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. ICSE Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov
2012	A	`conf`	Evaluating Machine-Independent Metrics for State-Space Exploration. ICST Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov
2012	A	`conf`	Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2012	A	`conf`	Regression mutation testing. ISSTA Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
2012	—	`conf`	TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
2012	—	`conf`	Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
2012	A	`conf`	X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST Milos Gligoric, Peter C. Mehlitz, Darko Marinov
2011	A	`conf`	An Empirical Study of JUnit Test-Suite Reduction. ISSRE Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
2011	A	`conf`	Change-aware preemption prioritization. ISSTA Vilas Jagannath, Qingzhou Luo, Darko Marinov
2011	A	`conf`	CoDeSe: fast deserialization via code generation. ISSTA Milos Gligoric, Darko Marinov, Sam Kamin
2011	—	`conf`	Improved multithreaded unit testing. SIGSOFT FSE Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
2011	A*	`conf`	ReAssert: a tool for repairing broken unit tests. ICSE Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov
2011	A*	`conf`	TestEra: A tool for testing Java programs using alloy specifications. ASE Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid
2011	B	`conf`	Testing Container Classes: Random or Systematic? FASE Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
2010	—	`conf`	A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. ICST Workshops Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov
2010	J	`jnl`	Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2010	—	`conf`	Basset: a tool for systematic testing of actor programs. SIGSOFT FSE Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
2010	B	`conf`	Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
2010	—	`conf`	IMUnit: improved multithreaded unit testing. IWMSE@ICSE Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
2010	A*	`conf`	InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing. MICRO Adrian Nistor, Darko Marinov, Josep Torrellas
2010	—	`conf`	Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo
2010	A	`conf`	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST Milos Gligoric, Vilas Jagannath, Darko Marinov
2010	—	`conf`	Mutation Operators for Actor Systems. ICST Workshops Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
2010	A	`conf`	On test repair using symbolic execution. ISSTA Brett Daniel, Tihomir Gvero, Darko Marinov
2010	—	`conf`	Test generation through programming in UDITA. ICSE (1) Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
2009	A*	`conf`	A Framework for State-Space Exploration of Java-Based Actor Programs. ASE Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha
2009	A*	`conf`	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. MICRO Adrian Nistor, Darko Marinov, Josep Torrellas
2009	A	`conf`	Optimizing Generation of Object Graphs in Java PathFinder. ICST Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid
2009	A*	`conf`	Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2009	A*	`conf`	ReAssert: Suggesting Repairs for Broken Unit Tests. ASE Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
2009	B	`conf`	Reducing the Costs of Bounded-Exhaustive Testing. FASE Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov
2008	J	`jnl`	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
2008	A	`conf`	Efficient solving of structural constraints. ISSTA Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid
2008	A*	`conf`	Incremental state-space exploration for programs with dynamically allocated data. ICSE Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan
2008	A*	`conf`	State extensions for java pathfinder. ICSE Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
2008	A	`conf`	Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA Darko Marinov, Wolfram Schulte
2007	—	`conf`	Automated Testing of Eclipse and NetBeans Refactoring Tools. WRT Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov
2007	—	`conf`	Automated testing of refactoring engines. ESEC/SIGSOFT FSE Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov
2007	A	`conf`	Delta execution for efficient state-space exploration of object-oriented programs. ISSTA Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
2007	A	`conf`	J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2007	A*	`conf`	Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
2007	—	`conf`	Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
2007	—	`conf`	Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST@ICSE Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov
2006	A*	`conf`	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
2006	—	`conf`	Analyzing the Uses of a Software Modeling Tool. LDTA@ETAPS Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
2006	A	`conf`	Automated Detection of Refactorings in Evolving Components. ECOOP Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson
2006	A	`conf`	Detecting Redundant Unit Tests for AspectJ Programs. ISSRE Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
2006	C	`conf`	Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
2005	—	`—`	Automatic testing of software with structurally complex inputs. Darko Marinov
2005	—	`conf`	CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE Koushik Sen, Darko Marinov, Gul Agha
2005	C	`conf`	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
2005	A	`conf`	Optimizations for Compiling Declarative Models into Boolean Formulas. SAT Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
2005	A	`conf`	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
2004	A*	`conf`	Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE Tao Xie, Darko Marinov, David Notkin
2004	J	`jnl`	TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. Sarfraz Khurshid, Darko Marinov
2003	A	`conf`	A Case for Efficient Solution Enumeration. SAT Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
2003	—	`conf`	Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
2003	A	`conf`	Object equality profiling. OOPSLA Darko Marinov, Robert O'Callahan
2002	A	`conf`	An analyzable annotation language. OOPSLA Sarfraz Khurshid, Darko Marinov, Daniel Jackson
2002	J	`jnl`	Counting 1324-Avoiding Permutations. Electron. J. Comb. Darko Marinov, Rados Radoicic
2002	A	`conf`	Korat: automated testing based on Java predicates. ISSTA Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
2002	—	`conf`	VAlloy - Virtual Functions Meet a Relational Language. FME Darko Marinov, Sarfraz Khurshid
2001	—	`conf`	Checking Java implementation of a naming architecture using Testera. Workshop on Software Model Checking @ CAV Sarfraz Khurshid, Darko Marinov
2001	A*	`conf`	TestEra: A Novel Framework for Automated Testing of Java Programs. ASE Darko Marinov, Sarfraz Khurshid
2000	B	`conf`	Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. MASCOTS Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic
1999	—	`conf`	CALKAS: a computer architecture learning and knowledge assessment system. WCAE@HPCA Jovan Djordjevic, Aleksandar Milenkovic, Ivan Todorovic, Darko Marinov
1998	—	`conf`	An Approach to Characterization of Parallel Applications for DSM Systems. HICSS (7) Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko Milutinovic