default search action

combined dblp search
author search
venue search
publication search

ask others

Darko Marinov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/0001SBAMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/0001SBAMM25
Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic:
FastFlip: Compositional SDC Resiliency Analysis. CGO 2025: 362-376
2024
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/acmrep/GraysonAMKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmrep/GraysonAMKM24
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
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/AbidPACBWRQLLNL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/AbidPACBWRQLLNL24
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:
GlueTest: Testing Code Translation via Language Interoperability. ICSME 2024: 612-617
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/01120PLM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/01120PLM024
Hao Wang, Pu (Luke) Yi, Jeremias Parladorio, Wing Lam, Darko Marinov, Tao Xie:
Hierarchy-Aware Regression Test Prioritization. ISSRE 2024: 343-354
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChengWJM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChengWJM24
Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov:
Revisiting Test-Case Prioritization on Long-Running Test Suites. ISSTA 2024: 615-627
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangLLMX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangLLMX24
Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu:
Ctest4J: A Practical Configuration Testing Framework for Java. SIGSOFT FSE Companion 2024: 562-566
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-13989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-13989
Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic:
FastFlip: Compositional Error Injection Analysis. CoRR abs/2403.13989 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-13239
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-13239
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:
Transforming the Hybrid Cloud for Emerging AI Workloads. CoRR abs/2411.13239 (2024)
2023
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/WangHPMZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/WangHPMZ23
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): 45:1-45:33 (2023)
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/acmrep/GraysonMKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmrep/GraysonMKM23
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: 74-84
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangLMX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangLMX23
Shuai Wang, Xinyu Lian, Darko Marinov, Tianyin Xu:
Test Selection for Unified Regression Testing. ICSE 2023: 1687-1699
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiaDMMZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiaDMMZ23
Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang:
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. ICSE 2023: 1801-1813
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChenYMJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChenYMJ23
Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand:
Transforming Test Suites into Croissants. ISSTA 2023: 1080-1092
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/AguilarGM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/AguilarGM23
Faustino Aguilar, Samuel Grayson, Darko Marinov:
Reproducing and Improving the BugsInPy Dataset. SCAM 2023: 260-264
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/GraysonMKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/GraysonMKM23
Samuel Grayson, Darko Marinov, Daniel S. Katz, Reed Milewicz:
Workflow Registry Tester. Zenodo, 2023
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-11383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-11383
Samuel Grayson, Reed Milewicz, Joshua B. Teves, Daniel S. Katz, Darko Marinov:
Wanted: standards for automatic reproducibility of computational experiments. CoRR abs/2307.11383 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09522
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09522
Chaitra Niddodi, Stefan Nagy, Darko Marinov, Sibin Mohan:
TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. CoRR abs/2309.09522 (2023)
2022
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ZhaoJ0MT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ZhaoJ0MT22
Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, Josep Torrellas:
Pinned loads: taming speculative loads in secure processors. ASPLOS 2022: 314-328
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeiYL0ML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeiYL0ML22
Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam:
Preempting Flaky Tests via Non-Idempotent-Outcome Tests. ICSE 2022: 1730-1742
[c128]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/Lam0W0M022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Lam0W0M022
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell:
A Large-Scale Longitudinal Study of Flaky Tests. Software Engineering 2022: 57-59
[c127]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/YiWXML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/YiWXML22
Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam:
A Theoretical Analysis of Random Regression Test Prioritization. TACAS (2) 2022: 217-235
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/YiWLXM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/YiWLXM21
Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov:
Finding Polluter Tests Using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 46(3): 37-41 (2021)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangJWSMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangJWSMS21
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: 50-61
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChengZMX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChengZMX21
Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu:
Test-case prioritization for configuration testing. ISSTA 2021: 452-465
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/WangYKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/WangYKM21
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov:
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS 2021: 123-130
[c123]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WeiY0ML21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WeiY0ML21
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: 270-287
2020
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/Lam0W0M020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/Lam0W0M020
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): 202:1-202:29 (2020)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/HastingsAKPKMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/HastingsAKPKMB20
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: 1-13
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WangSMK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WangSMK20
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Lam0ASM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Lam0ASM20
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: 403-413
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/ZhaoJYYF0MT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/ZhaoJYYF0MT20
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: 1138-1152
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/YangWMK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/YangWMK20
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid:
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE 2020: 1541-1545

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/LegunsenAXHRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LegunsenAXHRM19
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): 795-837 (2019)
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ShiHZML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ShiHZML19
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen:
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3(OOPSLA): 187:1-187:29 (2019)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/MahmoudVAMMFA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/MahmoudVAMMFA19
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: 1087-1103
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/VenkatagiriAMMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/VenkatagiriAMMM19
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: 214-221
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/hpdc/KrafczykSBMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpdc/KrafczykSBMS19
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: 23-28
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SullivanMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SullivanMK19
Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HaririSFMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HaririSFMM19
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: 114-124
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LegunsenZHRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LegunsenZHRM19
Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. ICST 2019: 300-311
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LamOSM019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LamOSM019
Wing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie:
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests. ICST 2019: 312-322
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ShiZM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ShiZM19
August Shi, Peiyuan Zhao, Darko Marinov:
Understanding and Improving Regression Test Selection in Continuous Integration. ISSRE 2019: 228-238
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Shi0M19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Shi0M19
August Shi, Jonathan Bell, Darko Marinov:
Mitigating the effects of flaky tests on mutation testing. ISSTA 2019: 112-122
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/oss/CarlsonLMNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oss/CarlsonLMNP19
Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash:
Open Source Vulnerability Notification. OSS 2019: 12-23
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ShiLO0M19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ShiLO0M19
August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov:
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. ESEC/SIGSOFT FSE 2019: 545-555
2018
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmhci/HastingsJKMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmhci/HastingsJKMB18
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): 68:1-68:21 (2018)
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WangSKMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WangSKMK18
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/WangSMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/WangSMK18
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GroceHMSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GroceHMSZ18
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: 25-28
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XuM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XuM18
Tianyin Xu, Darko Marinov:
Mining container image repositories for software configuration and beyond. ICSE (NIER) 2018: 49-52
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BellLHEYM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BellLHEYM18
Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov:
DeFlaker: automatically detecting flaky tests. ICSE 2018: 433-444
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GyoriLHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GyoriLHM18
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov:
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE 2018: 112-122
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ShiGMZM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ShiGMZM18
August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov:
Evaluating test-suite reduction in real software evolution. ISSTA 2018: 84-94
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Hilton0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Hilton0M18
Michael Hilton, Jonathan Bell, Darko Marinov:
A large-scale study of test coverage evolution. ASE 2018: 53-63
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangSMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangSMK18
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919
[c97]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sqamia/KhurshidM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sqamia/KhurshidM18
Sarfraz Khurshid, Darko Marinov:
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA 2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-03558
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-03558
Tianyin Xu, Darko Marinov:
Mining Container Image Repositories for Software Configuration and Beyond. CoRR abs/1802.03558 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08707
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018)
2017
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FraserM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FraserM17
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)
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/JahanbakhshFKMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/JahanbakhshFKMB17
Farnaz Jahanbakhsh, Wai-Tat Fu, Karrie Karahalios, Darko Marinov, Brian P. Bailey:
You Want Me to Work with Who?: Stakeholder Perceptions of Automated Team Formation in Project-based Courses. CHI 2017: 3201-3212
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LegunsenSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LegunsenSM17
Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. ASE 2017: 949-954
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Hilton0TMD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Hilton0TMD17
Michael Hilton, Nicholas Nelson, Timothy Tunnell, Darko Marinov, Danny Dig:
Trade-offs in continuous integration: assurance, security, and flexibility. ESEC/SIGSOFT FSE 2017: 197-207
[c93]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sqamia/SullivanWKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sqamia/SullivanWKM17
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017
2016
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GyoriLKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GyoriLKM16
Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov:
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DigJMBB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DigJMBB25
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: 773-776
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ShiGLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ShiGLM16
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST 2016: 80-90
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/RamlerFKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/RamlerFKM16
Rudolf Ramler, Michael Felderer, Takashi Kitamura, Darko Marinov:
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016. ICST Workshops 2016: 238-239
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HaririSCKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HaririSCKM16
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: 105-115
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AlipourSGMG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AlipourSGMG16
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce:
Evaluating non-adequate test-case reduction. ASE 2016: 16-26
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/HiltonTHMD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/HiltonTHMD16
Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, Danny Dig:
Usage, costs, and benefits of continuous integration in open-source projects. ASE 2016: 426-437
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LegunsenHXRM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LegunsenHXRM16
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: 602-613
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LegunsenHSLZM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LegunsenHSLZM16
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: 583-594
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GyoriLSLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GyoriLSLM16
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: 993-997
2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/PalmskogHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/PalmskogHM15
Karl Palmskog, Farah Hariri, Darko Marinov:
A Case Study on Executing Instrumented Code in Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 40(6): 1-5 (2015)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GligoricGZSAM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GligoricGZSAM15
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): 22:1-22:33 (2015)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LeeMJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LeeMJ15
Yun Young Lee, Darko Marinov, Ralph E. Johnson:
Tempura: Temporal Dimension for IDEs. ICSE (1) 2015: 212-222
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LegunsenMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LegunsenMR15
Owolabi Legunsen, Darko Marinov, Grigore Rosu:
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) 2015: 615-618
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GligoricEM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GligoricEM15
Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Ekstazi: Lightweight Test Selection. ICSE (2) 2015: 713-716
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GligoricEM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GligoricEM15
Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Practical regression test selection with dynamic file dependencies. ISSTA 2015: 211-222
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GyoriSHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GyoriSHM15
Alex Gyori, August Shi, Farah Hariri, Darko Marinov:
Reliable testing: detecting state-polluting tests to prevent test dependency. ISSTA 2015: 223-233
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LinMZCZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LinMZCZ15
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao:
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE 2015: 178-189
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ShiYGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ShiYGM15
August Shi, Tifany Yung, Alex Gyori, Darko Marinov:
Comparing and combining test-suite reduction and regression test selection. ESEC/SIGSOFT FSE 2015: 237-247
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SoutoGdMKB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SoutoGdMKB15
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: 151-160
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BengoleaAMF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BengoleaAMF14
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24(8): 629-655 (2014)
[c75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GligoricMSEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GligoricMSEM14
Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov:
Regression Test Selection for Distributed Software Histories. CAV 2014: 293-309
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GligoricNLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GligoricNLM14
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. ASE 2014: 361-372
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ShiGGZM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ShiGGZM14
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov:
Balancing trade-offs in test-suite reduction. SIGSOFT FSE 2014: 246-256
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LuoHEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LuoHEM14
Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov:
An empirical analysis of flaky tests. SIGSOFT FSE 2014: 643-653
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SullivanZKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SullivanZKM14
Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. SPIN 2014: 113-116
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2014
Corina S. Pasareanu, Darko Marinov:
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. ACM 2014, ISBN 978-1-4503-2645-2 [contents]
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/GligoricJLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/GligoricJLM13
Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23(5): 375-403 (2013)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GligoricBLOHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GligoricBLOHM13
Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov:
Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP 2013: 629-653
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NistorSML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NistorSML13
Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. ICSE 2013: 562-571
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LeeHKM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LeeHKM04
Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov:
Temporal code completion and navigation. ICSE 2013: 1181-1184
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhangMK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhangMK13
Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
Faster mutation testing inspired by test prioritization and reduction. ISSTA 2013: 235-245
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GligoricGZSAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GligoricGZSAM13
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Comparing non-adequate test suites using coverage criteria. ISSTA 2013: 302-313
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangGMK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangGMK13
Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. ASE 2013: 92-102
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MilicevicJGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MilicevicJGM13
Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov:
Model-based, event-driven programming paradigm for interactive web applications. Onward! 2013: 17-36
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KimMKBSBd13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KimMKBSBd13
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: 257-267
2012
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/TasharofiKLLMA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/TasharofiKLLMA12
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: 219-234
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NistorLPGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NistorLPGM12
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: 727-737
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GligoricMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GligoricMM12
Milos Gligoric, Peter C. Mehlitz, Darko Marinov:
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST 2012: 11-20
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SiddiquiMK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SiddiquiMK12
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/TanMTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/TanMTL12
Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens:
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST 2012: 260-269
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/JagannathKLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/JagannathKLM12
Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov:
Evaluating Machine-Independent Metrics for State-Space Exploration. ICST 2012: 320-329
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhangMZK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhangMZK12
Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
Regression mutation testing. ISSTA 2012: 331-341
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BengoleaAMF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BengoleaAMF12
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS 2012: 19-34
2011
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SharmaGAFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SharmaGAFM11
Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? FASE 2011: 262-277
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DanielDGJJMNTM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DanielDGJJMNTM11
Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov:
ReAssert: a tool for repairing broken unit tests. ICSE 2011: 1010-1012
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhangMZK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhangMZK11
Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JagannathLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JagannathLM11
Vilas Jagannath, Qingzhou Luo, Darko Marinov:
Change-aware preemption prioritization. ISSTA 2011: 133-143
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GligoricMK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GligoricMK11
Milos Gligoric, Darko Marinov, Sam Kamin:
CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KhalekYZMK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KhalekYZMK11
Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
TestEra: A tool for testing Java programs using alloy specifications. ASE 2011: 608-611
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JagannathGJLRM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JagannathGJLRM11
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov:
Improved multithreaded unit testing. SIGSOFT FSE 2011: 223-233
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/SobeihdVMH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/SobeihdVMH10
Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Assertion Checking in J-Sim Simulation Models of Network Protocols. Simul. 86(11): 651-673 (2010)
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LauterburgKMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LauterburgKMA10
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JagannathGJRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JagannathGJRM10
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov:
IMUnit: improved multithreaded unit testing. IWMSE@ICSE 2010: 48-49
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GligoricGJKKM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GligoricGJKKM10
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GligoricJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GligoricJM10
Milos Gligoric, Vilas Jagannath, Darko Marinov:
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST 2010: 55-64
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/JagannathGLMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/JagannathGLMA10
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SharmaGJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SharmaGJM10
Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov:
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. ICST Workshops 2010: 337-342
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DanielGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DanielGM10
Brett Daniel, Tihomir Gvero, Darko Marinov:
On test repair using symbolic execution. ISSTA 2010: 207-218
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/NistorMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/NistorMT10
Adrian Nistor, Darko Marinov, Josep Torrellas:
InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing. MICRO 2010: 251-262
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LauterburgKMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LauterburgKMA10
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HarroldMOPPPRY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HarroldMOPPPRY10
Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo:
Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/JagannathLDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JagannathLDM09
Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing. FASE 2009: 171-185
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GligoricGLMK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GligoricGLMK09
Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/DanielJDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/DanielJDM09
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov:
ReAssert: Suggesting Repairs for Broken Unit Tests. ASE 2009: 433-444
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LauterburgDMA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LauterburgDMA09
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SiddiquiMK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SiddiquiMK09
Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE 2009: 615-619
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/NistorMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/NistorMT09
Adrian Nistor, Darko Marinov, Josep Torrellas:
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. MICRO 2009: 541-552
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/dAmorimLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/dAmorimLM08
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LauterburgSMV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LauterburgSMV08
Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan:
Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GveroGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GveroGL08
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ElkarabliehMK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ElkarabliehMK08
Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid:
Efficient solving of structural constraints. ISSTA 2008: 39-50
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MarinovS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MarinovS08
Darko Marinov, Wolfram Schulte:
Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316
2007
[c28]
- view
  - electronic edition @ uiuc.edu
  - details & citations
- export record
  dblp key:
  - conf/ecoop/DanielDGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DanielDGM07
Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
Automated Testing of Eclipse and NetBeans Refactoring Tools. WRT 2007: 42-43
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XieTKM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XieTKM07
Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov:
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST 2007: 17-23
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MilicevicMMK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MilicevicMMK07
Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/SobeihVMH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/SobeihVMH07
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS 2007: 1-6
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/dAmorimLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/dAmorimLM07
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MisailovicMPKM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MisailovicMPKM07
Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DanielDGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DanielDGM07
Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
Automated testing of refactoring engines. ESEC/SIGSOFT FSE 2007: 185-194
2006
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DigCMJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DigCMJ06
Danny Dig, Can Comertoglu, Darko Marinov, Ralph E. Johnson:
Automated Detection of Refactorings in Evolving Components. ECOOP 2006: 404-428
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/dAmorimSM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/dAmorimSM06
Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/XieZMN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/XieZMN06
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/dAmorimPXME06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/dAmorimPXME06
Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst:
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiSWKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiSWKM06
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov:
Analyzing the Uses of a Software Modeling Tool. LDTA@ETAPS 2006: 3-18
2005
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/ndltd/Marinov05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Marinov05
Darko Marinov:
Automatic testing of software with structurally complex inputs. Massachusetts Institute of Technology, Cambridge, MA, USA, 2005
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SobeihVMH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SobeihVMH05
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou:
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MarinovKBZR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MarinovKBZR05
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard:
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenMA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenMA05
Koushik Sen, Darko Marinov, Gul Agha:
CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/XieMSN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/XieMSN05
Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/KhurshidM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/KhurshidM04
Sarfraz Khurshid, Darko Marinov:
TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XieMN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XieMN04
Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205
2003
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/ArkoudasKMR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/ArkoudasKMR03
Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MarinovO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MarinovO03
Darko Marinov, Robert O'Callahan:
Object equality profiling. OOPSLA 2003: 313-325
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KhurshidMSJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KhurshidMSJ03
Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson:
A Case for Efficient Solution Enumeration. SAT 2003: 272-286
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/combinatorics/MarinovR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/combinatorics/MarinovR02
Darko Marinov, Rados Radoicic:
Counting 1324-Avoiding Permutations. Electron. J. Comb. 9(2) (2002)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MarinovK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MarinovK02
Darko Marinov, Sarfraz Khurshid:
VAlloy - Virtual Functions Meet a Relational Language. FME 2002: 234-251
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BoyapatiKM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BoyapatiKM02
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov:
Korat: automated testing based on Java predicates. ISSTA 2002: 123-133
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KhurshidMJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KhurshidMJ02
Sarfraz Khurshid, Darko Marinov, Daniel Jackson:
An analyzable annotation language. OOPSLA 2002: 231-245
2001
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MarinovK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MarinovK01
Darko Marinov, Sarfraz Khurshid:
TestEra: A Novel Framework for Automated Testing of Java Programs. ASE 2001: 22-
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KhurshidM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KhurshidM01
Sarfraz Khurshid, Darko Marinov:
Checking Java implementation of a naming architecture using Testera. Workshop on Software Model Checking @ CAV 2001: 322-342
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/MarinovMMPTM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/MarinovMMPTM00
Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic:
Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. MASCOTS 2000: 207-213

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wcae/DjordjevicMTM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcae/DjordjevicMTM99
Jovan Djordjevic, Aleksandar Milenkovic, Ivan Todorovic, Darko Marinov:
CALKAS: a computer architecture learning and knowledge assessment system. WCAE@HPCA 1999: 4
1998
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MarinovMMPTM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MarinovMMPTM98
Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko Milutinovic:
An Approach to Characterization of Parallel Applications for DSM Systems. HICSS (7) 1998: 782-795

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.