Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Darko Marinov
@article{DBLP:journals/corr/abs-2403-13989,
author = {Keyur Joshi and
Rahul Singh and
Tommaso Bassetto and
Sarita V. Adve and
Darko Marinov and
Sasa Misailovic},
title = {FastFlip: Compositional Error Injection Analysis},
journal = {CoRR},
volume = {abs/2403.13989},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13989},
doi = {10.48550/ARXIV.2403.13989},
eprinttype = {arXiv},
eprint = {2403.13989},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/WangHPMZ23,
author = {Chao Wang and
Hao He and
Uma Pal and
Darko Marinov and
Minghui Zhou},
title = {Suboptimal Comments in Java Projects: From Independent Comment Changes
to Commenting Practices},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {2},
pages = {45:1--45:33},
year = {2023},
url = {https://doi.org/10.1145/3546949},
doi = {10.1145/3546949},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/WangHPMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmrep/GraysonMKM23,
author = {Samuel Grayson and
Darko Marinov and
Daniel S. Katz and
Reed Milewicz},
title = {Automatic Reproduction of Workflows in the Snakemake Workflow Catalog
and nf-core Registries},
booktitle = {Proceedings of the 2023 {ACM} Conference on Reproducibility and Replicability,
{ACM-REP} 2023, Santa Cruz, CA, USA, June 27-29, 2023},
pages = {74--84},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589806.3600037},
doi = {10.1145/3589806.3600037},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmrep/GraysonMKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangLMX23,
author = {Shuai Wang and
Xinyu Lian and
Darko Marinov and
Tianyin Xu},
title = {Test Selection for Unified Regression Testing},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1687--1699},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00145},
doi = {10.1109/ICSE48619.2023.00145},
timestamp = {Wed, 19 Jul 2023 10:09:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangLMX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiaDMMZ23,
author = {Chunqiu Steven Xia and
Saikat Dutta and
Sasa Misailovic and
Darko Marinov and
Lingming Zhang},
title = {Balancing Effectiveness and Flakiness of Non-Deterministic Machine
Learning Tests},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1801--1813},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00154},
doi = {10.1109/ICSE48619.2023.00154},
timestamp = {Wed, 19 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/XiaDMMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChenYMJ23,
author = {Yang Chen and
Alperen Yildiz and
Darko Marinov and
Reyhaneh Jabbarvand},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Transforming Test Suites into Croissants},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1080--1092},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598119},
doi = {10.1145/3597926.3598119},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChenYMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/AguilarGM23,
author = {Faustino Aguilar and
Samuel Grayson and
Darko Marinov},
editor = {Leon Moonen and
Christian D. Newman and
Alessandra Gorla},
title = {Reproducing and Improving the BugsInPy Dataset},
booktitle = {23rd {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2023, Bogot{\'{a}}, Colombia, October
2-3, 2023},
pages = {260--264},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SCAM59687.2023.00036},
doi = {10.1109/SCAM59687.2023.00036},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/scam/AguilarGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11383,
author = {Samuel Grayson and
Reed Milewicz and
Joshua B. Teves and
Daniel S. Katz and
Darko Marinov},
title = {Wanted: standards for automatic reproducibility of computational experiments},
journal = {CoRR},
volume = {abs/2307.11383},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11383},
doi = {10.48550/ARXIV.2307.11383},
eprinttype = {arXiv},
eprint = {2307.11383},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-09522,
author = {Chaitra Niddodi and
Stefan Nagy and
Darko Marinov and
Sibin Mohan},
title = {TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing},
journal = {CoRR},
volume = {abs/2309.09522},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.09522},
doi = {10.48550/ARXIV.2309.09522},
eprinttype = {arXiv},
eprint = {2309.09522},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ZhaoJ0MT22,
author = {Zirui Neil Zhao and
Houxiang Ji and
Adam Morrison and
Darko Marinov and
Josep Torrellas},
editor = {Babak Falsafi and
Michael Ferdman and
Shan Lu and
Thomas F. Wenisch},
title = {Pinned loads: taming speculative loads in secure processors},
booktitle = {{ASPLOS} '22: 27th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Lausanne,
Switzerland, 28 February 2022 - 4 March 2022},
pages = {314--328},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503222.3507724},
doi = {10.1145/3503222.3507724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/ZhaoJ0MT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiYL0ML22,
author = {Anjiang Wei and
Pu Yi and
Zhengxi Li and
Tao Xie and
Darko Marinov and
Wing Lam},
title = {Preempting Flaky Tests via Non-Idempotent-Outcome Tests},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1730--1742},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510170},
doi = {10.1145/3510003.3510170},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/WeiYL0ML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Lam0W0M022,
author = {Wing Lam and
Stefan Winter and
Anjiang Wei and
Tao Xie and
Darko Marinov and
Jonathan Bell},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {A Large-Scale Longitudinal Study of Flaky Tests},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {57--59},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-018},
doi = {10.18420/SE2022-WS-018},
timestamp = {Fri, 21 Jan 2022 16:00:25 +0100},
biburl = {https://dblp.org/rec/conf/se/Lam0W0M022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YiWXML22,
author = {Pu Yi and
Hao Wang and
Tao Xie and
Darko Marinov and
Wing Lam},
editor = {Dana Fisman and
Grigore Rosu},
title = {A Theoretical Analysis of Random Regression Test Prioritization},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {217--235},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_12},
doi = {10.1007/978-3-030-99527-0\_12},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/YiWXML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/YiWLXM21,
author = {Pu Yi and
Anjiang Wei and
Wing Lam and
Tao Xie and
Darko Marinov},
title = {Finding Polluter Tests Using Java PathFinder},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {3},
pages = {37--41},
year = {2021},
url = {https://doi.org/10.1145/3468744.3468756},
doi = {10.1145/3468744.3468756},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/YiWLXM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangJWSMS21,
author = {Peilun Zhang and
Yanjie Jiang and
Anjiang Wei and
Victoria Stodden and
Darko Marinov and
August Shi},
title = {Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined
Specifications},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {50--61},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00018},
doi = {10.1109/ICSE43902.2021.00018},
timestamp = {Mon, 07 Jun 2021 14:59:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhangJWSMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChengZMX21,
author = {Runxiang Cheng and
Lingming Zhang and
Darko Marinov and
Tianyin Xu},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {Test-case prioritization for configuration testing},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {452--465},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3464810},
doi = {10.1145/3460319.3464810},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChengZMX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/WangYKM21,
author = {Wenxi Wang and
Pu Yi and
Sarfraz Khurshid and
Darko Marinov},
editor = {David Clark and
H{\'{e}}ctor D. Men{\'{e}}ndez and
Ana Rosa Cavalli},
title = {Initial Results on Counting Test Orders for Order-Dependent Flaky
Tests Using Alloy},
booktitle = {Testing Software and Systems - 33rd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2021, London, UK, November 10-12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13045},
pages = {123--130},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-04673-5\_9},
doi = {10.1007/978-3-031-04673-5\_9},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/WangYKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WeiY0ML21,
author = {Anjiang Wei and
Pu Yi and
Tao Xie and
Darko Marinov and
Wing Lam},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs
for Detecting Order-Dependent Flaky Tests},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {270--287},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_15},
doi = {10.1007/978-3-030-72016-2\_15},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WeiY0ML21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Lam0W0M020,
author = {Wing Lam and
Stefan Winter and
Anjiang Wei and
Tao Xie and
Darko Marinov and
Jonathan Bell},
title = {A large-scale longitudinal study of flaky tests},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {202:1--202:29},
year = {2020},
url = {https://doi.org/10.1145/3428270},
doi = {10.1145/3428270},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Lam0W0M020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/HastingsAKPKMB20,
author = {Emily M. Hastings and
Albatool A. Alamri and
Andrew Kuznetsov and
Christine Pisarczyk and
Karrie Karahalios and
Darko Marinov and
Brian P. Bailey},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {{LIFT:} Integrating Stakeholder Voices into Algorithmic Team Formation},
booktitle = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
Honolulu, HI, USA, April 25-30, 2020},
pages = {1--13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3313831.3376797},
doi = {10.1145/3313831.3376797},
timestamp = {Wed, 04 May 2022 13:02:17 +0200},
biburl = {https://dblp.org/rec/conf/chi/HastingsAKPKMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WangSMK20,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Marco Vieira and
Henrique Madeira and
Nuno Antunes and
Zheng Zheng},
title = {Fault Localization for Declarative Models in Alloy},
booktitle = {31st {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020},
pages = {391--402},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSRE5003.2020.00044},
doi = {10.1109/ISSRE5003.2020.00044},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/WangSMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Lam0ASM20,
author = {Wing Lam and
Stefan Winter and
Angello Astorga and
Victoria Stodden and
Darko Marinov},
editor = {Marco Vieira and
Henrique Madeira and
Nuno Antunes and
Zheng Zheng},
title = {Understanding Reproducibility and Characteristics of Flaky Tests Through
Test Reruns in Java Projects},
booktitle = {31st {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020},
pages = {403--413},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSRE5003.2020.00045},
doi = {10.1109/ISSRE5003.2020.00045},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Lam0ASM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ZhaoJYYF0MT20,
author = {Zirui Neil Zhao and
Houxiang Ji and
Mengjia Yan and
Jiyong Yu and
Christopher W. Fletcher and
Adam Morrison and
Darko Marinov and
Josep Torrellas},
title = {Speculation Invariance (InvarSpec): Faster Safe Execution Through
Program Analysis},
booktitle = {53rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
{MICRO} 2020, Athens, Greece, October 17-21, 2020},
pages = {1138--1152},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MICRO50266.2020.00094},
doi = {10.1109/MICRO50266.2020.00094},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/ZhaoJYYF0MT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YangWMK20,
author = {Jiayi Yang and
Wenxi Wang and
Darko Marinov and
Sarfraz Khurshid},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {AlloyMC: Alloy meets model counting},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1541--1545},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417938},
doi = {10.1145/3368089.3417938},
timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YangWMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LegunsenAXHRM19,
author = {Owolabi Legunsen and
Nader Al Awar and
Xinyue Xu and
Wajih Ul Hassan and
Grigore Rosu and
Darko Marinov},
title = {How effective are existing Java {API} specifications for finding bugs
during runtime verification?},
journal = {Autom. Softw. Eng.},
volume = {26},
number = {4},
pages = {795--837},
year = {2019},
url = {https://doi.org/10.1007/s10515-019-00267-1},
doi = {10.1007/S10515-019-00267-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LegunsenAXHRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ShiHZML19,
author = {August Shi and
Milica Hadzi{-}Tanovic and
Lingming Zhang and
Darko Marinov and
Owolabi Legunsen},
title = {Reflection-aware static regression test selection},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {187:1--187:29},
year = {2019},
url = {https://doi.org/10.1145/3360613},
doi = {10.1145/3360613},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ShiHZML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MahmoudVAMMFA19,
author = {Abdulrahman Mahmoud and
Radha Venkatagiri and
Khalique Ahmed and
Sasa Misailovic and
Darko Marinov and
Christopher W. Fletcher and
Sarita V. Adve},
editor = {Iris Bahar and
Maurice Herlihy and
Emmett Witchel and
Alvin R. Lebeck},
title = {Minotaur: Adapting Software Testing Techniques for Hardware Errors},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2019, Providence, RI, USA, April 13-17, 2019},
pages = {1087--1103},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297858.3304050},
doi = {10.1145/3297858.3304050},
timestamp = {Sun, 07 Apr 2019 16:01:58 +0200},
biburl = {https://dblp.org/rec/conf/asplos/MahmoudVAMMFA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/VenkatagiriAMMM19,
author = {Radha Venkatagiri and
Khalique Ahmed and
Abdulrahman Mahmoud and
Sasa Misailovic and
Darko Marinov and
Christopher W. Fletcher and
Sarita V. Adve},
title = {gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft
Error Analysis},
booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019},
pages = {214--221},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSN.2019.00033},
doi = {10.1109/DSN.2019.00033},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsn/VenkatagiriAMMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/KrafczykSBMS19,
author = {Matthew Krafczyk and
August Shi and
Adhithya Bhaskar and
Darko Marinov and
Victoria Stodden},
editor = {Ivo Jimenez and
Carlos Maltzahn and
Jay F. Lofstead},
title = {Scientific Tests and Continuous Integration Strategies to Enhance
Reproducibility in the Scientific Software Context},
booktitle = {Proceedings of the 2nd International Workshop on Practical Reproducible
Evaluation of Computer Systems, P-RECS@HPDC 2019, Phoenix, AZ, USA,
June 24, 2019},
pages = {23--28},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3322790.3330595},
doi = {10.1145/3322790.3330595},
timestamp = {Fri, 28 Jun 2019 11:38:13 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/KrafczykSBMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SullivanMK19,
author = {Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Solution Enumeration Abstraction: {A} Modeling Idiom to Enhance a
Lightweight Formal Method},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {336--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_21},
doi = {10.1007/978-3-030-32409-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SullivanMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HaririSFMM19,
author = {Farah Hariri and
August Shi and
Vimuth Fernando and
Suleman Mahmood and
Darko Marinov},
title = {Comparing Mutation Testing at the Levels of Source Code and Compiler
Intermediate Representation},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {114--124},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00021},
doi = {10.1109/ICST.2019.00021},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/HaririSFMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LegunsenZHRM19,
author = {Owolabi Legunsen and
Yi Zhang and
Milica Hadzi{-}Tanovic and
Grigore Rosu and
Darko Marinov},
title = {Techniques for Evolution-Aware Runtime Verification},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {300--311},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00037},
doi = {10.1109/ICST.2019.00037},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LegunsenZHRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LamOSM019,
author = {Wing Lam and
Reed Oei and
August Shi and
Darko Marinov and
Tao Xie},
title = {iDFlakies: {A} Framework for Detecting and Partially Classifying Flaky
Tests},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {312--322},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00038},
doi = {10.1109/ICST.2019.00038},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LamOSM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ShiZM19,
author = {August Shi and
Peiyuan Zhao and
Darko Marinov},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Understanding and Improving Regression Test Selection in Continuous
Integration},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {228--238},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00031},
doi = {10.1109/ISSRE.2019.00031},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/ShiZM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Shi0M19,
author = {August Shi and
Jonathan Bell and
Darko Marinov},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Mitigating the effects of flaky tests on mutation testing},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {112--122},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330568},
doi = {10.1145/3293882.3330568},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/Shi0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oss/CarlsonLMNP19,
author = {Brandon Carlson and
Kevin Leach and
Darko Marinov and
Meiyappan Nagappan and
Atul Prakash},
editor = {Francis Bordeleau and
Alberto Sillitti and
Paulo Meirelles and
Valentina Lenarduzzi},
title = {Open Source Vulnerability Notification},
booktitle = {Open Source Systems - 15th {IFIP} {WG} 2.13 International Conference,
{OSS} 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {556},
pages = {12--23},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20883-7\_2},
doi = {10.1007/978-3-030-20883-7\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oss/CarlsonLMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ShiLO0M19,
author = {August Shi and
Wing Lam and
Reed Oei and
Tao Xie and
Darko Marinov},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {iFixFlakies: a framework for automatically fixing order-dependent
flaky tests},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {545--555},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338925},
doi = {10.1145/3338906.3338925},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ShiLO0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/HastingsJKMB18,
author = {Emily M. Hastings and
Farnaz Jahanbakhsh and
Karrie Karahalios and
Darko Marinov and
Brian P. Bailey},
title = {Structure or Nurture?: The Effects of Team-Building Activities and
Team Composition on Team Outcomes},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {2},
number = {{CSCW}},
pages = {68:1--68:21},
year = {2018},
url = {https://doi.org/10.1145/3274337},
doi = {10.1145/3274337},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/HastingsJKMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WangSKMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Manos Koukoutos and
Darko Marinov and
Sarfraz Khurshid},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Systematic Generation of Non-equivalent Expressions for Relational
Algebra},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {105--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_8},
doi = {10.1007/978-3-319-91271-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/WangSKMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WangSMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Solver-Based Sketching of Alloy Models Using Test Valuations},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {121--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_9},
doi = {10.1007/978-3-319-91271-4\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/WangSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHMSZ18,
author = {Alex Groce and
Josie Holmes and
Darko Marinov and
August Shi and
Lingming Zhang},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {An extensible, regular-expression-based tool for multi-language mutant
generation},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {25--28},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183485},
doi = {10.1145/3183440.3183485},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GroceHMSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XuM18,
author = {Tianyin Xu and
Darko Marinov},
editor = {Andrea Zisman and
Sven Apel},
title = {Mining container image repositories for software configuration and
beyond},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2018, Gothenburg,
Sweden, May 27 - June 03, 2018},
pages = {49--52},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183399.3183403},
doi = {10.1145/3183399.3183403},
timestamp = {Sat, 30 Sep 2023 09:46:46 +0200},
biburl = {https://dblp.org/rec/conf/icse/XuM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BellLHEYM18,
author = {Jonathan Bell and
Owolabi Legunsen and
Michael Hilton and
Lamyaa Eloussi and
Tifany Yung and
Darko Marinov},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {DeFlaker: automatically detecting flaky tests},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {433--444},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180164},
doi = {10.1145/3180155.3180164},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BellLHEYM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GyoriLHM18,
author = {Alex Gyori and
Owolabi Legunsen and
Farah Hariri and
Darko Marinov},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Evaluating Regression Test Selection Opportunities in a Very Large
Open-Source Ecosystem},
booktitle = {29th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2018, Memphis, TN, USA, October 15-18, 2018},
pages = {112--122},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSRE.2018.00022},
doi = {10.1109/ISSRE.2018.00022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GyoriLHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShiGMZM18,
author = {August Shi and
Alex Gyori and
Suleman Mahmood and
Peiyuan Zhao and
Darko Marinov},
editor = {Frank Tip and
Eric Bodden},
title = {Evaluating test-suite reduction in real software evolution},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {84--94},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213875},
doi = {10.1145/3213846.3213875},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShiGMZM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Hilton0M18,
author = {Michael Hilton and
Jonathan Bell and
Darko Marinov},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {A large-scale study of test coverage evolution},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {53--63},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238183},
doi = {10.1145/3238147.3238183},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Hilton0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangSMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {ASketch: a sketching framework for Alloy},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {916--919},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264594},
doi = {10.1145/3236024.3264594},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sqamia/KhurshidM18,
author = {Sarfraz Khurshid and
Darko Marinov},
editor = {Zoran Budimac},
title = {Reducing Combinatorial Testing Requirements Based on Equivalences
with Respect to the Code Under Test},
booktitle = {Proceedings of the Seventh Workshop on Software Quality Analysis,
Monitoring, Improvement, and Applications, {SQAMIA} 2018, Novi Sad,
Serbia, August 27-30, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2217},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2217/paper-khu.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:29 +0100},
biburl = {https://dblp.org/rec/conf/sqamia/KhurshidM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03558,
author = {Tianyin Xu and
Darko Marinov},
title = {Mining Container Image Repositories for Software Configuration and
Beyond},
journal = {CoRR},
volume = {abs/1802.03558},
year = {2018},
url = {http://arxiv.org/abs/1802.03558},
eprinttype = {arXiv},
eprint = {1802.03558},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08707,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
title = {Fault Localization for Declarative Models in Alloy},
journal = {CoRR},
volume = {abs/1807.08707},
year = {2018},
url = {http://arxiv.org/abs/1807.08707},
eprinttype = {arXiv},
eprint = {1807.08707},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FraserM17,
author = {Gordon Fraser and
Darko Marinov},
title = {Editorial for the special issue of {STVR} on the 8th {IEEE} International
Conference on Software Testing, Verification, and Validation {(ICST}
2015)},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1644},
doi = {10.1002/STVR.1644},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/FraserM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/JahanbakhshFKMB17,
author = {Farnaz Jahanbakhsh and
Wai{-}Tat Fu and
Karrie Karahalios and
Darko Marinov and
Brian P. Bailey},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {You Want Me to Work with \emph{Who}?: Stakeholder Perceptions of Automated
Team Formation in Project-based Courses},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017},
pages = {3201--3212},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3025453.3026011},
doi = {10.1145/3025453.3026011},
timestamp = {Tue, 06 Nov 2018 16:58:42 +0100},
biburl = {https://dblp.org/rec/conf/chi/JahanbakhshFKMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LegunsenSM17,
author = {Owolabi Legunsen and
August Shi and
Darko Marinov},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {{STARTS:} STAtic regression test selection},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {949--954},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115710},
doi = {10.1109/ASE.2017.8115710},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LegunsenSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Hilton0TMD17,
author = {Michael Hilton and
Nicholas Nelson and
Timothy Tunnell and
Darko Marinov and
Danny Dig},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Trade-offs in continuous integration: assurance, security, and flexibility},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {197--207},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106270},
doi = {10.1145/3106237.3106270},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Hilton0TMD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sqamia/SullivanWKM17,
author = {Allison Sullivan and
Kaiyuan Wang and
Sarfraz Khurshid and
Darko Marinov},
editor = {Zoran Budimac},
title = {Evaluating State Modeling Techniques in Alloy},
booktitle = {Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring,
Improvement, and Applications, Belgrade, Serbia, September 11-13,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {1938},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1938/paper-sul.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sqamia/SullivanWKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GyoriLKM16,
author = {Alex Gyori and
Ben Lambeth and
Sarfraz Khurshid and
Darko Marinov},
title = {Exploring Underdetermined Specifications using Java PathFinder},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011295},
doi = {10.1145/3011286.3011295},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GyoriLKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DigJMBB25,
author = {Danny Dig and
Ralph E. Johnson and
Darko Marinov and
Brian P. Bailey and
Don S. Batory},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {{COPE:} vision for a change-oriented programming environment},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {773--776},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889208},
doi = {10.1145/2889160.2889208},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DigJMBB25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ShiGLM16,
author = {August Shi and
Alex Gyori and
Owolabi Legunsen and
Darko Marinov},
title = {Detecting Assumptions on Deterministic Implementations of Non-deterministic
Specifications},
booktitle = {2016 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
pages = {80--90},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICST.2016.40},
doi = {10.1109/ICST.2016.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ShiGLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RamlerFKM16,
author = {Rudolf Ramler and
Michael Felderer and
Takashi Kitamura and
Darko Marinov},
title = {Industry-Academia Collaboration in Software Testing: An Overview of
{TAIC} {PART} 2016},
booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
April 11-15, 2016},
pages = {238--239},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSTW.2016.36},
doi = {10.1109/ICSTW.2016.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RamlerFKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HaririSCKM16,
author = {Farah Hariri and
August Shi and
Hayes Converse and
Sarfraz Khurshid and
Darko Marinov},
title = {Evaluating the Effects of Compiler Optimizations on Mutation Testing
at the Compiler {IR} Level},
booktitle = {27th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2016, Ottawa, ON, Canada, October 23-27, 2016},
pages = {105--115},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSRE.2016.51},
doi = {10.1109/ISSRE.2016.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HaririSCKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlipourSGMG16,
author = {Mohammad Amin Alipour and
August Shi and
Rahul Gopinath and
Darko Marinov and
Alex Groce},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Evaluating non-adequate test-case reduction},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {16--26},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970361},
doi = {10.1145/2970276.2970361},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AlipourSGMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HiltonTHMD16,
author = {Michael Hilton and
Timothy Tunnell and
Kai Huang and
Darko Marinov and
Danny Dig},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Usage, costs, and benefits of continuous integration in open-source
projects},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {426--437},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970358},
doi = {10.1145/2970276.2970358},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HiltonTHMD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LegunsenHXRM16,
author = {Owolabi Legunsen and
Wajih Ul Hassan and
Xinyue Xu and
Grigore Rosu and
Darko Marinov},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {How good are the specs? a study of the bug-finding effectiveness of
existing Java {API} specifications},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {602--613},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970356},
doi = {10.1145/2970276.2970356},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LegunsenHXRM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LegunsenHSLZM16,
author = {Owolabi Legunsen and
Farah Hariri and
August Shi and
Yafeng Lu and
Lingming Zhang and
Darko Marinov},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {An extensive study of static regression test selection in modern software
evolution},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {583--594},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950361},
doi = {10.1145/2950290.2950361},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LegunsenHSLZM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GyoriLSLM16,
author = {Alex Gyori and
Ben Lambeth and
August Shi and
Owolabi Legunsen and
Darko Marinov},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {NonDex: a tool for detecting and debugging wrong assumptions on Java
{API} specifications},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {993--997},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2983932},
doi = {10.1145/2950290.2983932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GyoriLSLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PalmskogHM15,
author = {Karl Palmskog and
Farah Hariri and
Darko Marinov},
title = {A Case Study on Executing Instrumented Code in Java PathFinder},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {6},
pages = {1--5},
year = {2015},
url = {https://doi.org/10.1145/2830719.2830730},
doi = {10.1145/2830719.2830730},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PalmskogHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GligoricGZSAM15,
author = {Milos Gligoric and
Alex Groce and
Chaoqiang Zhang and
Rohan Sharma and
Mohammad Amin Alipour and
Darko Marinov},
title = {Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {24},
number = {4},
pages = {22:1--22:33},
year = {2015},
url = {https://doi.org/10.1145/2660767},
doi = {10.1145/2660767},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GligoricGZSAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeeMJ15,
author = {Yun Young Lee and
Darko Marinov and
Ralph E. Johnson},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Tempura: Temporal Dimension for IDEs},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {212--222},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.42},
doi = {10.1109/ICSE.2015.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeeMJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LegunsenMR15,
author = {Owolabi Legunsen and
Darko Marinov and
Grigore Rosu},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Evolution-Aware Monitoring-Oriented Programming},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {615--618},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.206},
doi = {10.1109/ICSE.2015.206},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LegunsenMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GligoricEM15,
author = {Milos Gligoric and
Lamyaa Eloussi and
Darko Marinov},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Ekstazi: Lightweight Test Selection},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {713--716},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.230},
doi = {10.1109/ICSE.2015.230},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GligoricEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricEM15,
author = {Milos Gligoric and
Lamyaa Eloussi and
Darko Marinov},
editor = {Michal Young and
Tao Xie},
title = {Practical regression test selection with dynamic file dependencies},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {211--222},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771784},
doi = {10.1145/2771783.2771784},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GligoricEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GyoriSHM15,
author = {Alex Gyori and
August Shi and
Farah Hariri and
Darko Marinov},
editor = {Michal Young and
Tao Xie},
title = {Reliable testing: detecting state-polluting tests to prevent test
dependency},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {223--233},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771793},
doi = {10.1145/2771783.2771793},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GyoriSHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LinMZCZ15,
author = {Ziyi Lin and
Darko Marinov and
Hao Zhong and
Yuting Chen and
Jianjun Zhao},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {JaConTeBe: {A} Benchmark Suite of Real-World Java Concurrency Bugs
{(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {178--189},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.87},
doi = {10.1109/ASE.2015.87},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LinMZCZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ShiYGM15,
author = {August Shi and
Tifany Yung and
Alex Gyori and
Darko Marinov},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Comparing and combining test-suite reduction and regression test selection},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {237--247},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786878},
doi = {10.1145/2786805.2786878},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ShiYGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SoutoGdMKB15,
author = {Sabrina Souto and
Divya Gopinath and
Marcelo d'Amorim and
Darko Marinov and
Sarfraz Khurshid and
Don S. Batory},
editor = {Douglas C. Schmidt},
title = {Faster bug detection for software product lines with incomplete feature
models},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {151--160},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791093},
doi = {10.1145/2791060.2791093},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/SoutoGdMKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BengoleaAMF14,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
title = {RepOK-based reduction of bounded exhaustive testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {629--655},
year = {2014},
url = {https://doi.org/10.1002/stvr.1547},
doi = {10.1002/STVR.1547},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BengoleaAMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GligoricMSEM14,
author = {Milos Gligoric and
Rupak Majumdar and
Rohan Sharma and
Lamyaa Eloussi and
Darko Marinov},
editor = {Armin Biere and
Roderick Bloem},
title = {Regression Test Selection for Distributed Software Histories},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {293--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_19},
doi = {10.1007/978-3-319-08867-9\_19},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GligoricMSEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GligoricNLM14,
author = {Milos Gligoric and
Stas Negara and
Owolabi Legunsen and
Darko Marinov},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {An empirical evaluation and comparison of manual and automated test
selection},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {361--372},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643019},
doi = {10.1145/2642937.2643019},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GligoricNLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ShiGGZM14,
author = {August Shi and
Alex Gyori and
Milos Gligoric and
Andrey Zaytsev and
Darko Marinov},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Balancing trade-offs in test-suite reduction},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {246--256},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635921},
doi = {10.1145/2635868.2635921},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ShiGGZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LuoHEM14,
author = {Qingzhou Luo and
Farah Hariri and
Lamyaa Eloussi and
Darko Marinov},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {An empirical analysis of flaky tests},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {643--653},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635920},
doi = {10.1145/2635868.2635920},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LuoHEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SullivanZKM14,
author = {Allison Sullivan and
Razieh Nokhbeh Zaeem and
Sarfraz Khurshid and
Darko Marinov},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a test automation framework for alloy},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {113--116},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632369},
doi = {10.1145/2632362.2632369},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/SullivanZKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2014,
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384},
doi = {10.1145/2610384},
isbn = {978-1-4503-2645-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GligoricJLM13,
author = {Milos Gligoric and
Vilas Jagannath and
Qingzhou Luo and
Darko Marinov},
title = {Efficient mutation testing of multithreaded code},
journal = {Softw. Test. Verification Reliab.},
volume = {23},
number = {5},
pages = {375--403},
year = {2013},
url = {https://doi.org/10.1002/stvr.1469},
doi = {10.1002/STVR.1469},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GligoricJLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GligoricBLOHM13,
author = {Milos Gligoric and
Farnaz Behrang and
Yilong Li and
Jeffrey Overbey and
Munawar Hafiz and
Darko Marinov},
editor = {Giuseppe Castagna},
title = {Systematic Testing of Refactoring Engines on Real Software Projects},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {629--653},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_26},
doi = {10.1007/978-3-642-39038-8\_26},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GligoricBLOHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NistorSML13,
author = {Adrian Nistor and
Linhai Song and
Darko Marinov and
Shan Lu},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Toddler: detecting performance problems via similar memory-access
patterns},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {562--571},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606602},
doi = {10.1109/ICSE.2013.6606602},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NistorSML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeeHKM04,
author = {Yun Young Lee and
Sam Harwell and
Sarfraz Khurshid and
Darko Marinov},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Temporal code completion and navigation},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1181--1184},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606673},
doi = {10.1109/ICSE.2013.6606673},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeeHKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangMK13,
author = {Lingming Zhang and
Darko Marinov and
Sarfraz Khurshid},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Faster mutation testing inspired by test prioritization and reduction},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {235--245},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483782},
doi = {10.1145/2483760.2483782},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricGZSAM13,
author = {Milos Gligoric and
Alex Groce and
Chaoqiang Zhang and
Rohan Sharma and
Mohammad Amin Alipour and
Darko Marinov},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Comparing non-adequate test suites using coverage criteria},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {302--313},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483769},
doi = {10.1145/2483760.2483769},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GligoricGZSAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangGMK13,
author = {Lingming Zhang and
Milos Gligoric and
Darko Marinov and
Sarfraz Khurshid},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Operator-based and random mutant selection: Better together},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {92--102},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693070},
doi = {10.1109/ASE.2013.6693070},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhangGMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MilicevicJGM13,
author = {Aleksandar Milicevic and
Daniel Jackson and
Milos Gligoric and
Darko Marinov},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Robert Hirschfeld},
title = {Model-based, event-driven programming paradigm for interactive web
applications},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2013, part of {SPLASH} '13, Indianapolis, IN, USA, October
26-31, 2013},
pages = {17--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509578.2509588},
doi = {10.1145/2509578.2509588},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MilicevicJGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimMKBSBd13,
author = {Chang Hwan Peter Kim and
Darko Marinov and
Sarfraz Khurshid and
Don S. Batory and
Sabrina Souto and
Paulo Barros and
Marcelo d'Amorim},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {SPLat: lightweight dynamic analysis for reducing combinatorics in
testing configurable systems},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {257--267},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491459},
doi = {10.1145/2491411.2491459},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KimMKBSBd13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TasharofiKLLMA12,
author = {Samira Tasharofi and
Rajesh K. Karmani and
Steven Lauterburg and
Axel Legay and
Darko Marinov and
Gul Agha},
editor = {Holger Giese and
Grigore Rosu},
title = {TransDPOR: {A} Novel Dynamic Partial-Order Reduction Technique for
Testing Actor Programs},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {219--234},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_14},
doi = {10.1007/978-3-642-30793-5\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/TasharofiKLLMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NistorLPGM12,
author = {Adrian Nistor and
Qingzhou Luo and
Michael Pradel and
Thomas R. Gross and
Darko Marinov},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Ballerina: Automatic generation and clustering of efficient random
unit tests for multithreaded code},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {727--737},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227145},
doi = {10.1109/ICSE.2012.6227145},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NistorLPGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GligoricMM12,
author = {Milos Gligoric and
Peter C. Mehlitz and
Darko Marinov},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{X10X:} Model Checking a New Programming Language with an "Old"
Model Checker},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.81},
doi = {10.1109/ICST.2012.81},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GligoricMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SiddiquiMK12,
author = {Junaid Haroon Siddiqui and
Darko Marinov and
Sarfraz Khurshid},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.89},
doi = {10.1109/ICST.2012.89},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SiddiquiMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TanMTL12,
author = {Shin Hwei Tan and
Darko Marinov and
Lin Tan and
Gary T. Leavens},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {260--269},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.106},
doi = {10.1109/ICST.2012.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/TanMTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JagannathKLM12,
author = {Vilas Jagannath and
Matt Kirn and
Yu Lin and
Darko Marinov},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Evaluating Machine-Independent Metrics for State-Space Exploration},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {320--329},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.112},
doi = {10.1109/ICST.2012.112},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JagannathKLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangMZK12,
author = {Lingming Zhang and
Darko Marinov and
Lu Zhang and
Sarfraz Khurshid},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Regression mutation testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {331--341},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336793},
doi = {10.1145/2338965.2336793},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangMZK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BengoleaAMF12,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test
Suites},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {19--34},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_4},
doi = {10.1007/978-3-642-30473-6\_4},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SharmaGAFM11,
author = {Rohan Sharma and
Milos Gligoric and
Andrea Arcuri and
Gordon Fraser and
Darko Marinov},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Testing Container Classes: Random or Systematic?},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {262--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_19},
doi = {10.1007/978-3-642-19811-3\_19},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SharmaGAFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DanielDGJJMNTM11,
author = {Brett Daniel and
Danny Dig and
Tihomir Gvero and
Vilas Jagannath and
Johnston Jiaa and
Damion Mitchell and
Jurand Nogiec and
Shin Hwei Tan and
Darko Marinov},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {ReAssert: a tool for repairing broken unit tests},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1010--1012},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985978},
doi = {10.1145/1985793.1985978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DanielDGJJMNTM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhangMZK11,
author = {Lingming Zhang and
Darko Marinov and
Lu Zhang and
Sarfraz Khurshid},
editor = {Tadashi Dohi and
Bojan Cukic},
title = {An Empirical Study of JUnit Test-Suite Reduction},
booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISSRE.2011.26},
doi = {10.1109/ISSRE.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZhangMZK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JagannathLM11,
author = {Vilas Jagannath and
Qingzhou Luo and
Darko Marinov},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Change-aware preemption prioritization},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {133--143},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001437},
doi = {10.1145/2001420.2001437},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/JagannathLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricMK11,
author = {Milos Gligoric and
Darko Marinov and
Sam Kamin},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {CoDeSe: fast deserialization via code generation},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {298--308},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001456},
doi = {10.1145/2001420.2001456},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GligoricMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KhalekYZMK11,
author = {Shadi Abdul Khalek and
Guowei Yang and
Lingming Zhang and
Darko Marinov and
Sarfraz Khurshid},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {TestEra: {A} tool for testing Java programs using alloy specifications},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {608--611},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100137},
doi = {10.1109/ASE.2011.6100137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KhalekYZMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JagannathGJLRM11,
author = {Vilas Jagannath and
Milos Gligoric and
Dongyun Jin and
Qingzhou Luo and
Grigore Rosu and
Darko Marinov},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Improved multithreaded unit testing},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {223--233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025145},
doi = {10.1145/2025113.2025145},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/JagannathGJLRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/SobeihdVMH10,
author = {Ahmed Sobeih and
Marcelo d'Amorim and
Mahesh Viswanathan and
Darko Marinov and
Jennifer C. Hou},
title = {Assertion Checking in J-Sim Simulation Models of Network Protocols},
journal = {Simul.},
volume = {86},
number = {11},
pages = {651--673},
year = {2010},
url = {https://doi.org/10.1177/0037549709349326},
doi = {10.1177/0037549709349326},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/SobeihdVMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LauterburgKMA10,
author = {Steven Lauterburg and
Rajesh K. Karmani and
Darko Marinov and
Gul Agha},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction
Techniques},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {308--322},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_22},
doi = {10.1007/978-3-642-12029-9\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LauterburgKMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JagannathGJRM10,
author = {Vilas Jagannath and
Milos Gligoric and
Dongyun Jin and
Grigore Rosu and
Darko Marinov},
editor = {Victor Pankratius and
Michael Philippsen},
title = {IMUnit: improved multithreaded unit testing},
booktitle = {Proceedings of the 3rd International Workshop on Multicore Software
Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010},
pages = {48--49},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808954.1808966},
doi = {10.1145/1808954.1808966},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JagannathGJRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GligoricGJKKM10,
author = {Milos Gligoric and
Tihomir Gvero and
Vilas Jagannath and
Sarfraz Khurshid and
Viktor Kuncak and
Darko Marinov},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Test generation through programming in {UDITA}},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {225--234},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806835},
doi = {10.1145/1806799.1806835},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GligoricGJKKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GligoricJM10,
author = {Milos Gligoric and
Vilas Jagannath and
Darko Marinov},
title = {MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded
Code},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.33},
doi = {10.1109/ICST.2010.33},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GligoricJM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JagannathGLMA10,
author = {Vilas Jagannath and
Milos Gligoric and
Steven Lauterburg and
Darko Marinov and
Gul Agha},
title = {Mutation Operators for Actor Systems},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {157--162},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.6},
doi = {10.1109/ICSTW.2010.6},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JagannathGLMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SharmaGJM10,
author = {Rohan Sharma and
Milos Gligoric and
Vilas Jagannath and
Darko Marinov},
title = {A Comparison of Constraint-Based and Sequence-Based Generation of
Complex Input Data Structures},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {337--342},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.7},
doi = {10.1109/ICSTW.2010.7},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SharmaGJM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DanielGM10,
author = {Brett Daniel and
Tihomir Gvero and
Darko Marinov},
editor = {Paolo Tonella and
Alessandro Orso},
title = {On test repair using symbolic execution},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {207--218},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831734},
doi = {10.1145/1831708.1831734},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/DanielGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/NistorMT10,
author = {Adrian Nistor and
Darko Marinov and
Josep Torrellas},
title = {InstantCheck: Checking the Determinism of Parallel Programs Using
On-the-Fly Incremental Hashing},
booktitle = {43rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
{MICRO} 2010, 4-8 December 2010, Atlanta, Georgia, {USA}},
pages = {251--262},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MICRO.2010.55},
doi = {10.1109/MICRO.2010.55},
timestamp = {Tue, 31 May 2022 14:39:58 +0200},
biburl = {https://dblp.org/rec/conf/micro/NistorMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LauterburgKMA10,
author = {Steven Lauterburg and
Rajesh K. Karmani and
Darko Marinov and
Gul Agha},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Basset: a tool for systematic testing of actor programs},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {363--364},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882349},
doi = {10.1145/1882291.1882349},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LauterburgKMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HarroldMOPPPRY10,
author = {Mary Jean Harrold and
Darko Marinov and
Stephen Oney and
Mauro Pezz{\`{e}} and
Adam A. Porter and
John Penix and
Per Runeson and
Shin Yoo},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {Introducing Continuous Systematic Testing of Evolving Software},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2622/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HarroldMOPPPRY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JagannathLDM09,
author = {Vilas Jagannath and
Yun Young Lee and
Brett Daniel and
Darko Marinov},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Reducing the Costs of Bounded-Exhaustive Testing},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {171--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_12},
doi = {10.1007/978-3-642-00593-0\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/JagannathLDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GligoricGLMK09,
author = {Milos Gligoric and
Tihomir Gvero and
Steven Lauterburg and
Darko Marinov and
Sarfraz Khurshid},
title = {Optimizing Generation of Object Graphs in Java PathFinder},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.52},
doi = {10.1109/ICST.2009.52},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GligoricGLMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DanielJDM09,
author = {Brett Daniel and
Vilas Jagannath and
Danny Dig and
Darko Marinov},
title = {ReAssert: Suggesting Repairs for Broken Unit Tests},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {433--444},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.17},
doi = {10.1109/ASE.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DanielJDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LauterburgDMA09,
author = {Steven Lauterburg and
Mirco Dotta and
Darko Marinov and
Gul A. Agha},
title = {A Framework for State-Space Exploration of Java-Based Actor Programs},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {468--479},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.88},
doi = {10.1109/ASE.2009.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LauterburgDMA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SiddiquiMK09,
author = {Junaid Haroon Siddiqui and
Darko Marinov and
Sarfraz Khurshid},
title = {Optimizing a Structural Constraint Solver for Efficient Software Checking},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {615--619},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.52},
doi = {10.1109/ASE.2009.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SiddiquiMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/NistorMT09,
author = {Adrian Nistor and
Darko Marinov and
Josep Torrellas},
editor = {David H. Albonesi and
Margaret Martonosi and
David I. August and
Jos{\'{e}} F. Mart{\'{\i}}nez},
title = {Light64: lightweight hardware support for data race detection during
systematic testing of parallel programs},
booktitle = {42st Annual {IEEE/ACM} International Symposium on Microarchitecture
{(MICRO-42} 2009), December 12-16, 2009, New York, New York, {USA}},
pages = {541--552},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1669112.1669180},
doi = {10.1145/1669112.1669180},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/NistorMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/dAmorimLM08,
author = {Marcelo d'Amorim and
Steven Lauterburg and
Darko Marinov},
title = {Delta Execution for Efficient State-Space Exploration of Object-Oriented
Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {5},
pages = {597--613},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.37},
doi = {10.1109/TSE.2008.37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/dAmorimLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LauterburgSMV08,
author = {Steven Lauterburg and
Ahmed Sobeih and
Darko Marinov and
Mahesh Viswanathan},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Incremental state-space exploration for programs with dynamically
allocated data},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {291--300},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368128},
doi = {10.1145/1368088.1368128},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LauterburgSMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GveroGL08,
author = {Tihomir Gvero and
Milos Gligoric and
Steven Lauterburg and
Marcelo d'Amorim and
Darko Marinov and
Sarfraz Khurshid},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {State extensions for java pathfinder},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {863--866},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368224},
doi = {10.1145/1368088.1368224},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GveroGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ElkarabliehMK08,
author = {Bassem Elkarablieh and
Darko Marinov and
Sarfraz Khurshid},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Efficient solving of structural constraints},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {39--50},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390637},
doi = {10.1145/1390630.1390637},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ElkarabliehMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MarinovS08,
author = {Darko Marinov and
Wolfram Schulte},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Workshop on state-space exploration for automated testing {(SSEAT}
2008)},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {315--316},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390672},
doi = {10.1145/1390630.1390672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MarinovS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DanielDGM07,
author = {Brett Daniel and
Danny Dig and
Kely Garcia and
Darko Marinov},
editor = {Danny Dig},
title = {Automated Testing of Eclipse and NetBeans Refactoring Tools},
booktitle = {1st Workshop on Refactoring Tools, {WRT} 2007, in conjunction with
21st European Conference on Object-Oriented Programming, July 30 -
August 03, 2007, Berlin, Germany, Proceedings},
pages = {42--43},
year = {2007},
url = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/},
timestamp = {Tue, 19 Jun 2018 18:57:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DanielDGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieTKM07,
author = {Tao Xie and
Kunal Taneja and
Shreyas Kale and
Darko Marinov},
editor = {Hong Zhu and
W. Eric Wong and
Amit M. Paradkar},
title = {Towards a Framework for Differential Unit Testing of Object-Oriented
Programs},
booktitle = {Proceedings of the Second International Workshop on Automation of
Software Test, {AST} 2007, Minneapolis, MN, USA, May 26-26, 2007},
pages = {17--23},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AST.2007.15},
doi = {10.1109/AST.2007.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/XieTKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MilicevicMMK07,
author = {Aleksandar Milicevic and
Sasa Misailovic and
Darko Marinov and
Sarfraz Khurshid},
title = {Korat: {A} Tool for Generating Structurally Complex Test Inputs},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {771--774},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.48},
doi = {10.1109/ICSE.2007.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MilicevicMMK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SobeihVMH07,
author = {Ahmed Sobeih and
Mahesh Viswanathan and
Darko Marinov and
Jennifer C. Hou},
title = {J-Sim: An Integrated Environment for Simulation and Model Checking
of Network Protocols},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370519},
doi = {10.1109/IPDPS.2007.370519},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SobeihVMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/dAmorimLM07,
author = {Marcelo d'Amorim and
Steven Lauterburg and
Darko Marinov},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Delta execution for efficient state-space exploration of object-oriented
programs},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {50--60},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273472},
doi = {10.1145/1273463.1273472},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/dAmorimLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MisailovicMPKM07,
author = {Sasa Misailovic and
Aleksandar Milicevic and
Nemanja Petrovic and
Sarfraz Khurshid and
Darko Marinov},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Parallel test generation and execution with Korat},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {135--144},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287645},
doi = {10.1145/1287624.1287645},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MisailovicMPKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DanielDGM07,
author = {Brett Daniel and
Danny Dig and
Kely Garcia and
Darko Marinov},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Automated testing of refactoring engines},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {185--194},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287651},
doi = {10.1145/1287624.1287651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DanielDGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DigCMJ06,
author = {Danny Dig and
Can Comertoglu and
Darko Marinov and
Ralph E. Johnson},
editor = {Dave Thomas},
title = {Automated Detection of Refactorings in Evolving Components},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {404--428},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_24},
doi = {10.1007/11785477\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DigCMJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/dAmorimSM06,
author = {Marcelo d'Amorim and
Ahmed Sobeih and
Darko Marinov},
editor = {Zhiming Liu and
Jifeng He},
title = {Optimized Execution of Deterministic Blocks in Java PathFinder},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {549--567},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_30},
doi = {10.1007/11901433\_30},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/dAmorimSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/XieZMN06,
author = {Tao Xie and
Jianjun Zhao and
Darko Marinov and
David Notkin},
title = {Detecting Redundant Unit Tests for AspectJ Programs},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {179--190},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.21},
doi = {10.1109/ISSRE.2006.21},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/XieZMN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/dAmorimPXME06,
author = {Marcelo d'Amorim and
Carlos Pacheco and
Tao Xie and
Darko Marinov and
Michael D. Ernst},
title = {An Empirical Comparison of Automated Generation and Classification
Techniques for Object-Oriented Unit Testing},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.13},
doi = {10.1109/ASE.2006.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/dAmorimPXME06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiSWKM06,
author = {Xiaoming Li and
Daryl Shannon and
Jabari Walker and
Sarfraz Khurshid and
Darko Marinov},
editor = {John Boyland and
Anthony Sloane},
title = {Analyzing the Uses of a Software Modeling Tool},
booktitle = {Proceedings of the Sixth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.001},
doi = {10.1016/J.ENTCS.2006.10.001},
timestamp = {Fri, 20 Jan 2023 13:00:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiSWKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Marinov05,
author = {Darko Marinov},
title = {Automatic testing of software with structurally complex inputs},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {2005},
url = {https://hdl.handle.net/1721.1/30161},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Marinov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SobeihVMH05,
author = {Ahmed Sobeih and
Mahesh Viswanathan and
Darko Marinov and
Jennifer C. Hou},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific
Heuristics},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {235--250},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_17},
doi = {10.1007/11576280\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SobeihVMH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MarinovKBZR05,
author = {Darko Marinov and
Sarfraz Khurshid and
Suhabe Bugrara and
Lintao Zhang and
Martin C. Rinard},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Optimizations for Compiling Declarative Models into Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {187--202},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_14},
doi = {10.1007/11499107\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MarinovKBZR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenMA05,
author = {Koushik Sen and
Darko Marinov and
Gul Agha},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {{CUTE:} a concolic unit testing engine for {C}},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {263--272},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081750},
doi = {10.1145/1081706.1081750},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenMA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/XieMSN05,
author = {Tao Xie and
Darko Marinov and
Wolfram Schulte and
David Notkin},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Symstra: {A} Framework for Generating Object-Oriented Unit Tests Using
Symbolic Execution},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {365--381},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_24},
doi = {10.1007/978-3-540-31980-1\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/XieMSN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/KhurshidM04,
author = {Sarfraz Khurshid and
Darko Marinov},
title = {TestEra: Specification-Based Testing of Java Programs Using {SAT}},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {4},
pages = {403--434},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000038938.10589.b9},
doi = {10.1023/B:AUSE.0000038938.10589.B9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/KhurshidM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XieMN04,
author = {Tao Xie and
Darko Marinov and
David Notkin},
title = {Rostra: {A} Framework for Detecting Redundant Object-Oriented Unit
Tests},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {196--205},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10056},
doi = {10.1109/ASE.2004.10056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/XieMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ArkoudasKMR03,
author = {Konstantine Arkoudas and
Sarfraz Khurshid and
Darko Marinov and
Martin C. Rinard},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Integrating Model Checking and Theorem Proving for Relational Reasoning},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {21--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_3},
doi = {10.1007/978-3-540-24771-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ArkoudasKMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarinovO03,
author = {Darko Marinov and
Robert O'Callahan},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Object equality profiling},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2003, October
26-30, 2003, Anaheim, CA, {USA}},
pages = {313--325},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949305.949333},
doi = {10.1145/949305.949333},
timestamp = {Fri, 25 Jun 2021 17:19:58 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MarinovO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KhurshidMSJ03,
author = {Sarfraz Khurshid and
Darko Marinov and
Ilya Shlyakhter and
Daniel Jackson},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {A Case for Efficient Solution Enumeration},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {272--286},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_21},
doi = {10.1007/978-3-540-24605-3\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/KhurshidMSJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/MarinovR02,
author = {Darko Marinov and
Rados Radoicic},
title = {Counting 1324-Avoiding Permutations},
journal = {Electron. J. Comb.},
volume = {9},
number = {2},
year = {2002},
url = {https://doi.org/10.37236/1685},
doi = {10.37236/1685},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/MarinovR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MarinovK02,
author = {Darko Marinov and
Sarfraz Khurshid},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {VAlloy - Virtual Functions Meet a Relational Language},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {234--251},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_14},
doi = {10.1007/3-540-45614-7\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/MarinovK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BoyapatiKM02,
author = {Chandrasekhar Boyapati and
Sarfraz Khurshid and
Darko Marinov},
editor = {Phyllis G. Frankl},
title = {Korat: automated testing based on Java predicates},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {123--133},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566191},
doi = {10.1145/566172.566191},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/BoyapatiKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KhurshidMJ02,
author = {Sarfraz Khurshid and
Darko Marinov and
Daniel Jackson},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {An analyzable annotation language},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {231--245},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582441},
doi = {10.1145/582419.582441},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KhurshidMJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MarinovK01,
author = {Darko Marinov and
Sarfraz Khurshid},
title = {TestEra: {A} Novel Framework for Automated Testing of Java Programs},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {22},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989787},
doi = {10.1109/ASE.2001.989787},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MarinovK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhurshidM01,
author = {Sarfraz Khurshid and
Darko Marinov},
editor = {Scott D. Stoller and
Willem Visser},
title = {Checking Java implementation of a naming architecture using Testera},
booktitle = {Workshop on Software Model Checking 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {3},
pages = {322--342},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00260-9},
doi = {10.1016/S1571-0661(04)00260-9},
timestamp = {Mon, 05 Dec 2022 12:31:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhurshidM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MarinovMMPTM00,
author = {Darko Marinov and
Davor Magdic and
Aleksandar Milenkovic and
Jelica Protic and
Igor Tartalja and
Veljko M. Milutinovic},
title = {Scowl: {A} Tool for Characterization of Parallel Workload and its
Use on Splash-2 Application Suite},
booktitle = {{MASCOTS} 2000, Proceedings of the 8th International Symposium on
Modeling, Analysis and Simulation of Computer and Telecommunication
Systems, 29 August - 1 September 2000, San Francisco, California,
{USA}},
pages = {207--213},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/MASCOT.2000.876446},
doi = {10.1109/MASCOT.2000.876446},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MarinovMMPTM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcae/DjordjevicMTM99,
author = {Jovan Djordjevic and
Aleksandar Milenkovic and
Ivan Todorovic and
Darko Marinov},
title = {{CALKAS:} a computer architecture learning and knowledge assessment
system},
booktitle = {Proceedings of the 1999 workshop on Computer architecture education,
WCAE@HPCA 1999, Orlando, FL, USA, January 1999},
pages = {4},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/1275215.1275219},
doi = {10.1145/1275215.1275219},
timestamp = {Tue, 06 Nov 2018 16:57:55 +0100},
biburl = {https://dblp.org/rec/conf/wcae/DjordjevicMTM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MarinovMMPTM98,
author = {Darko Marinov and
Davor Magdic and
Aleksandar Milenkovic and
Jelica Protic and
Igor Tartalja and
Veljko Milutinovic},
title = {An Approach to Characterization of Parallel Applications for {DSM}
Systems},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {782--795},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.649287},
doi = {10.1109/HICSS.1998.649287},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MarinovMMPTM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
