Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael D. Ernst
@article{DBLP:journals/pacmpl/ShadabGTEKLLS23,
author = {Narges Shadab and
Pritam M. Gharat and
Shrey Tiwari and
Michael D. Ernst and
Martin Kellogg and
Shuvendu K. Lahiri and
Akash Lal and
Manu Sridharan},
title = {Inference of Resource Management Specifications},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1705--1728},
year = {2023},
url = {https://doi.org/10.1145/3622858},
doi = {10.1145/3622858},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ShadabGTEKLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KelloggDNAE23,
author = {Martin Kellogg and
Daniel Daskiewicz and
Loi Ngo Duc Nguyen and
Muyeed Ahmed and
Michael D. Ernst},
title = {Pluggable Type Inference for Free},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1542--1554},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00186},
doi = {10.1109/ASE56229.2023.00186},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KelloggDNAE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-11953,
author = {Narges Shadab and
Pritam M. Gharat and
Shrey Tiwari and
Michael D. Ernst and
Martin Kellogg and
Shuvendu K. Lahiri and
Akash Lal and
Manu Sridharan},
title = {Automatic Inference of Resource Leak Specifications},
journal = {CoRR},
volume = {abs/2306.11953},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.11953},
doi = {10.48550/ARXIV.2306.11953},
eprinttype = {arXiv},
eprint = {2306.11953},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-11953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KelloggSSE22,
author = {Martin Kellogg and
Narges Shadab and
Manu Sridharan and
Michael D. Ernst},
title = {Accumulation Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {22:1--22:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.22},
doi = {10.4230/DARTS.8.2.22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KelloggSSE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KelloggSSE22,
author = {Martin Kellogg and
Narges Shadab and
Manu Sridharan and
Michael D. Ernst},
editor = {Karim Ali and
Jan Vitek},
title = {Accumulation Analysis},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {10:1--10:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.10},
doi = {10.4230/LIPICS.ECOOP.2022.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KelloggSSE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlasiGEP22,
author = {Arianna Blasi and
Alessandra Gorla and
Michael D. Ernst and
Mauro Pezz{\`{e}}},
title = {Call Me Maybe: Using {NLP} to Automatically Generate Unit Test Cases
Respecting Temporal Constraints},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {19:1--19:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556961},
doi = {10.1145/3551349.3556961},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlasiGEP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-15178,
author = {Natarajan Shankar and
Devesh Bhatt and
Michael D. Ernst and
Minyoung Kim and
Srivatsan Varadarajan and
Suzanne Millstein and
Jorge Navas and
Jason Biatek and
Huascar Sanchez and
Anitha Murugesan and
Hao Ren},
title = {DesCert: Design for Certification},
journal = {CoRR},
volume = {abs/2203.15178},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.15178},
doi = {10.48550/ARXIV.2203.15178},
eprinttype = {arXiv},
eprint = {2203.15178},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-15178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BlasiGEPC21,
author = {Arianna Blasi and
Alessandra Gorla and
Michael D. Ernst and
Mauro Pezz{\`{e}} and
Antonio Carzaniga},
title = {MeMo: Automatically identifying metamorphic relations in Javadoc comments
for test automation},
journal = {J. Syst. Softw.},
volume = {181},
pages = {111041},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.111041},
doi = {10.1016/J.JSS.2021.111041},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BlasiGEPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZouLXEZ21,
author = {Daming Zou and
Jingjing Liang and
Yingfei Xiong and
Michael D. Ernst and
Lu Zhang},
title = {An Empirical Study of Fault Localization Families and Their Combinations},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {2},
pages = {332--347},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2892102},
doi = {10.1109/TSE.2019.2892102},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ZouLXEZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MudduluruWME21,
author = {Rashmi Mudduluru and
Jason Waataja and
Suzanne Millstein and
Michael D. Ernst},
title = {Verifying Determinism in Sequential Programs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {37--49},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00017},
doi = {10.1109/ICSE43902.2021.00017},
timestamp = {Mon, 07 Jun 2021 14:59:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/MudduluruWME21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MudduluruWME21a,
author = {Rashmi Mudduluru and
Jason Waataja and
Suzanne Millstein and
Michael D. Ernst},
title = {Verifying Determinism in Sequential Programs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {213--214},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00095},
doi = {10.1109/ICSE-COMPANION52605.2021.00095},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/MudduluruWME21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangFEPD21,
author = {Zhen Zhang and
Yu Feng and
Michael D. Ernst and
Sebastian Porst and
Isil Dillig},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Checking conformance of applications against {GUI} policies},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {95--106},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468561},
doi = {10.1145/3468264.3468561},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangFEPD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KelloggSSE21,
author = {Martin Kellogg and
Narges Shadab and
Manu Sridharan and
Michael D. Ernst},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Lightweight and modular resource leak verification},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {181--192},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468576},
doi = {10.1145/3468264.3468576},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KelloggSSE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-03054,
author = {Sahil Verma and
Michael D. Ernst and
Ren{\'{e}} Just},
title = {Removing biased data to improve fairness and accuracy},
journal = {CoRR},
volume = {abs/2102.03054},
year = {2021},
url = {https://arxiv.org/abs/2102.03054},
eprinttype = {arXiv},
eprint = {2102.03054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-03054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BeschastnikhLXW20,
author = {Ivan Beschastnikh and
Perry Liu and
Albert Xing and
Patty Wang and
Yuriy Brun and
Michael D. Ernst},
title = {Visualizing Distributed System Executions},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {29},
number = {2},
pages = {9:1--9:38},
year = {2020},
url = {https://doi.org/10.1145/3375633},
doi = {10.1145/3375633},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BeschastnikhLXW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LouisDBES20,
author = {Annie Louis and
Santanu Kumar Dash and
Earl T. Barr and
Michael D. Ernst and
Charles Sutton},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Where should {I} comment my code?: a dataset and model for predicting
locations that need comments},
booktitle = {{ICSE-NIER} 2020: 42nd International Conference on Software Engineering,
New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July,
2020},
pages = {21--24},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377816.3381736},
doi = {10.1145/3377816.3381736},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LouisDBES20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KelloggRSSE20,
author = {Martin Kellogg and
Manli Ran and
Manu Sridharan and
Martin Sch{\"{a}}f and
Michael D. Ernst},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Verifying object construction},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1447--1458},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380341},
doi = {10.1145/3377811.3380341},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KelloggRSSE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LamSOZE020,
author = {Wing Lam and
August Shi and
Reed Oei and
Sai Zhang and
Michael D. Ernst and
Tao Xie},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Dependent-test-aware regression testing techniques},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {298--311},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397364},
doi = {10.1145/3395363.3397364},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LamSOZE020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenGTEHFAJ20,
author = {Yiqun T. Chen and
Rahul Gopinath and
Anita Tadakamalla and
Michael D. Ernst and
Reid Holmes and
Gordon Fraser and
Paul Ammann and
Ren{\'{e}} Just},
title = {Revisiting the Relationship Between Fault Detection, Test Adequacy
Criteria, and Test Set Size},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {237--249},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416667},
doi = {10.1145/3324884.3416667},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChenGTEHFAJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KelloggSTE20,
author = {Martin Kellogg and
Martin Sch{\"{a}}f and
Serdar Tasiran and
Michael D. Ernst},
title = {Continuous Compliance},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {511--523},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416593},
doi = {10.1145/3324884.3416593},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KelloggSTE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PanchekhaETK19,
author = {Pavel Panchekha and
Michael D. Ernst and
Zachary Tatlock and
Shoaib Kamil},
title = {Modular verification of web page layout},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {151:1--151:26},
year = {2019},
url = {https://doi.org/10.1145/3360577},
doi = {10.1145/3360577},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PanchekhaETK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SpotoBEFLMS19,
author = {Fausto Spoto and
Elisa Burato and
Michael D. Ernst and
Pietro Ferrara and
Alberto Lovato and
Damiano Macedonio and
Ciprian Spiridon},
title = {Static Identification of Injection Attacks in Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {3},
pages = {18:1--18:58},
year = {2019},
url = {https://doi.org/10.1145/3332371},
doi = {10.1145/3332371},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SpotoBEFLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MichaelWAET19,
author = {Ellis Michael and
Doug Woos and
Thomas E. Anderson and
Michael D. Ernst and
Zachary Tatlock},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Teaching Rigorous Distributed Systems With Efficient Model Checking},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {32:1--32:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303947},
doi = {10.1145/3302424.3303947},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MichaelWAET19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KiezunGHEG19,
author = {Adam Kiezun and
Philip J. Guo and
Pieter Hooimeijer and
Michael D. Ernst and
Vijay Ganesh},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Theory and practice of string solvers (invited talk abstract)},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {6--7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3338993},
doi = {10.1145/3293882.3338993},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/KiezunGHEG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/BlasiPGE19,
author = {Arianna Blasi and
Mauro Pezz{\`{e}} and
Alessandra Gorla and
Michael D. Ernst},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {Research on {NLP} for {RE} at Universit{\`{a}} della Svizzera Italiana
{(USI):} {A} Report},
booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 25th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2019), Essen, Germany, March 18th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/NLP4RE19\_paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/BlasiPGE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LoncaricET18,
author = {Calvin Loncaric and
Michael D. Ernst and
Emina Torlak},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Generalized data structure synthesis},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {958--968},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180211},
doi = {10.1145/3180155.3180211},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LoncaricET18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KelloggDME18,
author = {Martin Kellogg and
Vlastimil Dort and
Suzanne Millstein and
Michael D. Ernst},
editor = {Frank Tip and
Eric Bodden},
title = {Lightweight verification of array indexing},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {3--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213849},
doi = {10.1145/3213846.3213849},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KelloggDME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BlasiGKGEPC18,
author = {Arianna Blasi and
Alberto Goffi and
Konstantin Kuznetsov and
Alessandra Gorla and
Michael D. Ernst and
Mauro Pezz{\`{e}} and
Sergio Delgado Castellanos},
editor = {Frank Tip and
Eric Bodden},
title = {Translating code comments to procedure specifications},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {242--253},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213872},
doi = {10.1145/3213846.3213872},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BlasiGKGEPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JustPDE18,
author = {Ren{\'{e}} Just and
Chris Parnin and
Ian Drosos and
Michael D. Ernst},
editor = {Frank Tip and
Eric Bodden},
title = {Comparing developer-provided to user-provided tests for fault localization
and automated program repair},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {287--297},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213870},
doi = {10.1145/3213846.3213870},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JustPDE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/LinWZE18,
author = {Xi Victoria Lin and
Chenglong Wang and
Luke Zettlemoyer and
Michael D. Ernst},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
K{\^{o}}iti Hasida and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis and
Takenobu Tokunaga},
title = {NL2Bash: {A} Corpus and Semantic Parser for Natural Language Interface
to the Linux Operating System},
booktitle = {Proceedings of the Eleventh International Conference on Language Resources
and Evaluation, {LREC} 2018, Miyazaki, Japan, May 7-12, 2018},
publisher = {European Language Resources Association {(ELRA)}},
year = {2018},
url = {http://www.lrec-conf.org/proceedings/lrec2018/summaries/1021.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/LinWZE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PanchekhaGETK18,
author = {Pavel Panchekha and
Adam T. Geller and
Michael D. Ernst and
Zachary Tatlock and
Shoaib Kamil},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Verifying that web pages have accessible layout},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {1--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192407},
doi = {10.1145/3192366.3192407},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PanchekhaGETK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08979,
author = {Xi Victoria Lin and
Chenglong Wang and
Luke Zettlemoyer and
Michael D. Ernst},
title = {NL2Bash: {A} Corpus and Semantic Parser for Natural Language Interface
to the Linux Operating System},
journal = {CoRR},
volume = {abs/1802.08979},
year = {2018},
url = {http://arxiv.org/abs/1802.08979},
eprinttype = {arXiv},
eprint = {1802.08979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09939,
author = {Daming Zou and
Jingjing Liang and
Yingfei Xiong and
Michael D. Ernst and
Lu Zhang},
title = {An Empirical Study of Fault Localization Families and Their Combinations},
journal = {CoRR},
volume = {abs/1803.09939},
year = {2018},
url = {http://arxiv.org/abs/1803.09939},
eprinttype = {arXiv},
eprint = {1803.09939},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09939.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05300,
author = {Doug Woos and
Zachary Tatlock and
Michael D. Ernst and
Thomas E. Anderson},
title = {A Graphical Interactive Debugger for Distributed Systems},
journal = {CoRR},
volume = {abs/1806.05300},
year = {2018},
url = {http://arxiv.org/abs/1806.05300},
eprinttype = {arXiv},
eprint = {1806.05300},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WeitzLHTET17,
author = {Konstantin Weitz and
Steven Lyubomirsky and
Stefan Heule and
Emina Torlak and
Michael D. Ernst and
Zachary Tatlock},
title = {SpaceSearch: a library for building and verifying solver-aided tools},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {25:1--25:28},
year = {2017},
url = {https://doi.org/10.1145/3110269},
doi = {10.1145/3110269},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WeitzLHTET17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GordonEGP17,
author = {Colin S. Gordon and
Michael D. Ernst and
Dan Grossman and
Matthew J. Parkinson},
title = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee
and Refinement Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {3},
pages = {11:1--11:54},
year = {2017},
url = {https://doi.org/10.1145/3064850},
doi = {10.1145/3064850},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GordonEGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PearsonCJFAEPK17,
author = {Spencer Pearson and
Jos{\'{e}} Campos and
Ren{\'{e}} Just and
Gordon Fraser and
Rui Abreu and
Michael D. Ernst and
Deric Pang and
Benjamin Keller},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Evaluating and improving fault localization},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {609--620},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.62},
doi = {10.1109/ICSE.2017.62},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PearsonCJFAEPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Ernst17,
author = {Michael D. Ernst},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Natural Language is a Programming Language: Applying Natural Language
Processing to Software Development},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {4:1--4:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.4},
doi = {10.4230/LIPICS.SNAPL.2017.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/Ernst17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BeschastnikhWBE16,
author = {Ivan Beschastnikh and
Patty Wang and
Yuriy Brun and
Michael D. Ernst},
title = {Debugging distributed systems},
journal = {Commun. {ACM}},
volume = {59},
number = {8},
pages = {32--37},
year = {2016},
url = {https://doi.org/10.1145/2909480},
doi = {10.1145/2909480},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BeschastnikhWBE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/BeschastnikhWBE16,
author = {Ivan Beschastnikh and
Patty Wang and
Yuriy Brun and
Michael D. Ernst},
title = {Debugging Distributed Systems},
journal = {{ACM} Queue},
volume = {14},
number = {2},
pages = {50},
year = {2016},
url = {https://doi.org/10.1145/2927299.2940294},
doi = {10.1145/2927299.2940294},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/BeschastnikhWBE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PernsteinerLTTW16,
author = {Stuart Pernsteiner and
Calvin Loncaric and
Emina Torlak and
Zachary Tatlock and
Xi Wang and
Michael D. Ernst and
Jonathan Jacky},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Investigating Safety of a Radiotherapy Machine Using System Models
with Pluggable Checkers},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {23--41},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_2},
doi = {10.1007/978-3-319-41540-6\_2},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PernsteinerLTTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/NandiE16,
author = {Chandrakana Nandi and
Michael D. Ernst},
editor = {Toby C. Murray and
Deian Stefan},
title = {Automatic Trigger Generation for Rule-based Smart Homes},
booktitle = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
2016},
pages = {97--102},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993600.2993601},
doi = {10.1145/2993600.2993601},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/NandiE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/WoosWATEA16,
author = {Doug Woos and
James R. Wilcox and
Steve Anton and
Zachary Tatlock and
Michael D. Ernst and
Thomas E. Anderson},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {Planning for change in a formal verification of the raft consensus
protocol},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {154--165},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854081},
doi = {10.1145/2854065.2854081},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/WoosWATEA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ErnstLMST16,
author = {Michael D. Ernst and
Alberto Lovato and
Damiano Macedonio and
Fausto Spoto and
Javier Thaine},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Locking discipline inference and checking},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {1133--1144},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884882},
doi = {10.1145/2884781.2884882},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ErnstLMST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GoffiGEP16,
author = {Alberto Goffi and
Alessandra Gorla and
Michael D. Ernst and
Mauro Pezz{\`{e}}},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {Automatic generation of oracles for exceptional behaviors},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {213--224},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931061},
doi = {10.1145/2931037.2931061},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GoffiGEP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ErnstMMS16,
author = {Michael D. Ernst and
Damiano Macedonio and
Massimo Merro and
Fausto Spoto},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Semantics for Locking Specifications},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {355--372},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_27},
doi = {10.1007/978-3-319-40648-0\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ErnstMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WeitzWTEKT16,
author = {Konstantin Weitz and
Doug Woos and
Emina Torlak and
Michael D. Ernst and
Arvind Krishnamurthy and
Zachary Tatlock},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Scalable verification of border gateway protocol configurations with
an {SMT} solver},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {765--780},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984012},
doi = {10.1145/2983990.2984012},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/WeitzWTEKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LoncaricTE16,
author = {Calvin Loncaric and
Emina Torlak and
Michael D. Ernst},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Fast synthesis of fast collections},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {355--368},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908122},
doi = {10.1145/2908080.2908122},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LoncaricTE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BeschastnikhBAE15,
author = {Ivan Beschastnikh and
Yuriy Brun and
Jenny Abrahamson and
Michael D. Ernst and
Arvind Krishnamurthy},
title = {Using Declarative Specification to Improve the Understanding, Extensibility,
and Comparison of Model-Inference Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {4},
pages = {408--428},
year = {2015},
url = {https://doi.org/10.1109/TSE.2014.2369047},
doi = {10.1109/TSE.2014.2369047},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BeschastnikhBAE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MusluBEN15,
author = {Kivan{\c{c}} Muslu and
Yuriy Brun and
Michael D. Ernst and
David Notkin},
title = {Reducing Feedback Delay of Software Development Tools via Continuous
Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {8},
pages = {745--763},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2417161},
doi = {10.1109/TSE.2015.2417161},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MusluBEN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VakilianPEJ15,
author = {Mohsen Vakilian and
Amarin Phaosawasdi and
Michael D. Ernst and
Ralph E. Johnson},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Cascade: {A} Universal Programmer-Assisted Type Qualifier Inference
Tool},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {234--245},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.44},
doi = {10.1109/ICSE.2015.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/VakilianPEJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangE15,
author = {Sai Zhang and
Michael D. Ernst},
editor = {Michal Young and
Tao Xie},
title = {Proactive detection of inadequate diagnostic messages for software
configuration errors},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {12--23},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771817},
doi = {10.1145/2771783.2771817},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarrosJMVDdE15,
author = {Paulo Barros and
Ren{\'{e}} Just and
Suzanne Millstein and
Paul Vines and
Werner Dietl and
Marcelo d'Amorim and
Michael D. Ernst},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Static Analysis of Implicit Control Flow: Resolving Java Reflection
and Android Intents {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {669--679},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.69},
doi = {10.1109/ASE.2015.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BarrosJMVDdE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MusluSBE15,
author = {Kivan{\c{c}} Muslu and
Luke Swart and
Yuriy Brun and
Michael D. Ernst},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Development History Granularity Transformations {(N)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {697--702},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.53},
doi = {10.1109/ASE.2015.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MusluSBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ErnstLMSS15,
author = {Michael D. Ernst and
Alberto Lovato and
Damiano Macedonio and
Ciprian Spiridon and
Fausto Spoto},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Boolean Formulas for the Static Identification of Injection Attacks
in Java},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {130--145},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_10},
doi = {10.1007/978-3-662-48899-7\_10},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ErnstLMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HaqCE15,
author = {Irfan Ul Haq and
Juan Caballero and
Michael D. Ernst},
editor = {Harry Xu and
Walter Binder},
title = {Ayudante: identifying undesired variable interactions},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {8--13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823366},
doi = {10.1145/2823363.2823366},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HaqCE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WilcoxWPTWEA15,
author = {James R. Wilcox and
Doug Woos and
Pavel Panchekha and
Zachary Tatlock and
Xi Wang and
Michael D. Ernst and
Thomas E. Anderson},
editor = {David Grove and
Stephen M. Blackburn},
title = {Verdi: a framework for implementing and formally verifying distributed
systems},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {357--368},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737958},
doi = {10.1145/2737924.2737958},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WilcoxWPTWEA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/JustEF15,
author = {Ren{\'{e}} Just and
Michael D. Ernst and
Gordon Fraser},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Mutation Analysis for the Real World: Effectiveness, Efficiency, and
Proper Tool Support},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {53--54},
publisher = {{GI}},
year = {2015},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/JustEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/JustEM15,
author = {Ren{\'{e}} Just and
Michael D. Ernst and
Suzanne Millstein},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Collaborative Verification of Information Flow for a High-Assurance
App Store},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {77},
publisher = {{GI}},
year = {2015},
timestamp = {Mon, 04 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/JustEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AndersonEOPT15,
author = {Ruth E. Anderson and
Michael D. Ernst and
Robert Ord{\'{o}}{\~{n}}ez and
Paul Pham and
Ben Tribelhorn},
editor = {Adrienne Decker and
Kurt Eiselt and
Carl Alphonce and
Jodi L. Tims},
title = {A Data Programming {CS1} Course},
booktitle = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2015, Kansas City, MO, USA, March 4-7, 2015},
pages = {150--155},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676723.2677309},
doi = {10.1145/2676723.2677309},
timestamp = {Mon, 13 Dec 2021 09:32:31 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AndersonEOPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/ErnstGJLPTTW15,
author = {Michael D. Ernst and
Dan Grossman and
Jon Jacky and
Calvin Loncaric and
Stuart Pernsteiner and
Zachary Tatlock and
Emina Torlak and
Xi Wang},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Toward a Dependability Case Language and Workflow for a Radiation
Therapy System},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {103--112},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.103},
doi = {10.4230/LIPICS.SNAPL.2015.103},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/ErnstGJLPTTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/BurgKE15,
author = {Brian Burg and
Amy J. Ko and
Michael D. Ernst},
editor = {Celine Latulipe and
Bjoern Hartmann and
Tovi Grossman},
title = {Explaining Visual Changes in Web Interfaces},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on User Interface Software
{\&} Technology, {UIST} 2015, Charlotte, NC, USA, November 8-11,
2015},
pages = {259--268},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807442.2807473},
doi = {10.1145/2807442.2807473},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/BurgKE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ErnstMMS15,
author = {Michael D. Ernst and
Damiano Macedonio and
Massimo Merro and
Fausto Spoto},
title = {Semantics for Locking Specifications},
journal = {CoRR},
volume = {abs/1501.05338},
year = {2015},
url = {http://arxiv.org/abs/1501.05338},
eprinttype = {arXiv},
eprint = {1501.05338},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ErnstMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BhoraskarLHCSE14,
author = {Ravi Bhoraskar and
Dominic Langenegger and
Pingyang He and
Raymond Cheng and
William Scott and
Michael D. Ernst},
title = {User scripting on Android using BladeDroid},
booktitle = {Asia-Pacific Workshop on Systems, APSys'14, Beijing, China, June 25-26,
2014},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637166.2637228},
doi = {10.1145/2637166.2637228},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsys/BhoraskarLHCSE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ErnstJMDPRKBBHVW14,
author = {Michael D. Ernst and
Ren{\'{e}} Just and
Suzanne Millstein and
Werner Dietl and
Stuart Pernsteiner and
Franziska Roesner and
Karl Koscher and
Paulo Barros and
Ravi Bhoraskar and
Seungyeop Han and
Paul Vines and
Edward XueJun Wu},
editor = {Gail{-}Joon Ahn and
Moti Yung and
Ninghui Li},
title = {Collaborative Verification of Information Flow for a High-Assurance
App Store},
booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
pages = {1092--1104},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660267.2660343},
doi = {10.1145/2660267.2660343},
timestamp = {Tue, 10 Nov 2020 20:00:23 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ErnstJMDPRKBBHVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangE14,
author = {Sai Zhang and
Michael D. Ernst},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Which configuration option should {I} change?},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {152--163},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568251},
doi = {10.1145/2568225.2568251},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhangE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BeschastnikhBEK14,
author = {Ivan Beschastnikh and
Yuriy Brun and
Michael D. Ernst and
Arvind Krishnamurthy},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Inferring models of concurrent systems from logs of their behavior
with CSight},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {468--479},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568246},
doi = {10.1145/2568225.2568246},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BeschastnikhBEK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchillerDCE14,
author = {Todd W. Schiller and
Kellen Donohue and
Forrest Coward and
Michael D. Ernst},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Case studies and tools for contract specifications},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {596--607},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568285},
doi = {10.1145/2568225.2568285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchillerDCE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AbrahamsonBBE14,
author = {Jenny Abrahamson and
Ivan Beschastnikh and
Yuriy Brun and
Michael D. Ernst},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Shedding light on distributed system executions},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {598--599},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591134},
doi = {10.1145/2591062.2591134},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AbrahamsonBBE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeitzKSE14,
author = {Konstantin Weitz and
Gene Kim and
Siwakorn Srisakaokul and
Michael D. Ernst},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {A type system for format strings},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {127--137},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610417},
doi = {10.1145/2610384.2610417},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WeitzKSE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JustEF14,
author = {Ren{\'{e}} Just and
Michael D. Ernst and
Gordon Fraser},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Efficient mutation analysis by propagating and partitioning infected
execution states},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {315--326},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610388},
doi = {10.1145/2610384.2610388},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JustEF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangJWMLEN14,
author = {Sai Zhang and
Darioush Jalali and
Jochen Wuttke and
Kivan{\c{c}} Muslu and
Wing Lam and
Michael D. Ernst and
David Notkin},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Empirically revisiting the test independence assumption},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {385--396},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610404},
doi = {10.1145/2610384.2610404},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangJWMLEN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JustJE14,
author = {Ren{\'{e}} Just and
Darioush Jalali and
Michael D. Ernst},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Defects4J: a database of existing faults to enable controlled testing
studies for Java programs},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {437--440},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2628055},
doi = {10.1145/2610384.2628055},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JustJE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeitzSKE14,
author = {Konstantin Weitz and
Siwakorn Srisakaokul and
Gene Kim and
Michael D. Ernst},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {A format string checker for Java},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {441--444},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2628056},
doi = {10.1145/2610384.2628056},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WeitzSKE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AndersonEOPW14,
author = {Ruth E. Anderson and
Michael D. Ernst and
Robert Ord{\'{o}}{\~{n}}ez and
Paul Pham and
Steven A. Wolfman},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {Introductory programming meets the real world: using real problems
and data in {CS1}},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {465--466},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2538994},
doi = {10.1145/2538862.2538994},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AndersonEOPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JustJIEHF14,
author = {Ren{\'{e}} Just and
Darioush Jalali and
Laura Inozemtseva and
Michael D. Ernst and
Reid Holmes and
Gordon Fraser},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Are mutants a valid substitute for real faults in software testing?},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {654--665},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635929},
doi = {10.1145/2635868.2635929},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JustJIEHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrunHEN13,
author = {Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
title = {Early Detection of Collaboration Conflicts and Risks},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {10},
pages = {1358--1375},
year = {2013},
url = {https://doi.org/10.1109/TSE.2013.28},
doi = {10.1109/TSE.2013.28},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrunHEN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GordonDEG13,
author = {Colin S. Gordon and
Werner Dietl and
Michael D. Ernst and
Dan Grossman},
editor = {Giuseppe Castagna},
title = {Java {UI} : Effects for Controlling {UI} Object Access},
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 = {179--204},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_8},
doi = {10.1007/978-3-642-39038-8\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GordonDEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BeschastnikhBAEK13,
author = {Ivan Beschastnikh and
Yuriy Brun and
Jenny Abrahamson and
Michael D. Ernst and
Arvind Krishnamurthy},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Unifying FSM-inference algorithms through declarative specification},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {252--261},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606571},
doi = {10.1109/ICSE.2013.6606571},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BeschastnikhBAEK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangE13,
author = {Sai Zhang and
Michael D. Ernst},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Automated diagnosis of software configuration errors},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {312--321},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606577},
doi = {10.1109/ICSE.2013.6606577},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangLE13,
author = {Sai Zhang and
Hao L{\"{u}} and
Michael D. Ernst},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Automatically repairing broken workflows for evolving {GUI} applications},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {45--55},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483775},
doi = {10.1145/2483760.2483775},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangLE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GordonEG13,
author = {Colin S. Gordon and
Michael D. Ernst and
Dan Grossman},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Rely-guarantee references for refinement types over aliased mutable
data},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {73--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462160},
doi = {10.1145/2491956.2462160},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GordonEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MusluBEN13,
author = {Kivan{\c{c}} Muslu and
Yuriy Brun and
Michael D. Ernst and
David Notkin},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Making offline analyses continuous},
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 = {323--333},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491460},
doi = {10.1145/2491411.2491460},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MusluBEN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/BurgBKE13,
author = {Brian Burg and
Richard Bailey and
Amy J. Ko and
Michael D. Ernst},
editor = {Shahram Izadi and
Aaron J. Quigley and
Ivan Poupyrev and
Takeo Igarashi},
title = {Interactive record/replay for web application debugging},
booktitle = {The 26th Annual {ACM} Symposium on User Interface Software and Technology,
UIST'13, St. Andrews, United Kingdom, October 8-11, 2013},
pages = {473--484},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2501988.2502050},
doi = {10.1145/2501988.2502050},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/BurgBKE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/PotaninOZE13,
author = {Alex Potanin and
Johan {\"{O}}stlund and
Yoav Zibin and
Michael D. Ernst},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Immutability},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {233--269},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_9},
doi = {10.1007/978-3-642-36946-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/PotaninOZE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2784,
author = {Ren{\'{e}} Just and
Michael D. Ernst and
Gordon Fraser},
title = {Using State Infection Conditions to Detect Equivalent Mutants and
Speed up Mutation Analysis},
journal = {CoRR},
volume = {abs/1303.2784},
year = {2013},
url = {http://arxiv.org/abs/1303.2784},
eprinttype = {arXiv},
eprint = {1303.2784},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KiezunGAGHE12,
author = {Adam Kiezun and
Vijay Ganesh and
Shay Artzi and
Philip J. Guo and
Pieter Hooimeijer and
Michael D. Ernst},
title = {{HAMPI:} {A} solver for word equations over strings, regular expressions,
and context-free grammars},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {4},
pages = {25:1--25:28},
year = {2012},
url = {https://doi.org/10.1145/2377656.2377662},
doi = {10.1145/2377656.2377662},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KiezunGAGHE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/BuHBE12,
author = {Yingyi Bu and
Bill Howe and
Magdalena Balazinska and
Michael D. Ernst},
title = {The HaLoop approach to large-scale iterative data analysis},
journal = {{VLDB} J.},
volume = {21},
number = {2},
pages = {169--190},
year = {2012},
url = {https://doi.org/10.1007/s00778-012-0269-7},
doi = {10.1007/S00778-012-0269-7},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/BuHBE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SpishakDE12,
author = {Eric Spishak and
Werner Dietl and
Michael D. Ernst},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {A type system for regular expressions},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {20--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318207},
doi = {10.1145/2318202.2318207},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SpishakDE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietlDEMWCPP12,
author = {Werner Dietl and
Stephanie Dietzel and
Michael D. Ernst and
Nathaniel Mote and
Brian Walker and
Seth Cooper and
Timothy Pavlik and
Zoran Popovic},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Verification games: making verification fun},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {42--49},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318210},
doi = {10.1145/2318202.2318210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DietlDEMWCPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HuangDME12,
author = {Wei Huang and
Werner Dietl and
Ana L. Milanova and
Michael D. Ernst},
editor = {James Noble},
title = {Inference and Checking of Object Ownership},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {181--206},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_9},
doi = {10.1007/978-3-642-31057-7\_9},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HuangDME12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiE12,
author = {Jingyue Li and
Michael D. Ernst},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {{CBCD:} Cloned buggy code detector},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {310--320},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227183},
doi = {10.1109/ICSE.2012.6227183},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LiE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MusluBHEN12,
author = {Kivan{\c{c}} Muslu and
Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Improving {IDE} recommendations by considering global implications
of existing recommendations},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1349--1352},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227082},
doi = {10.1109/ICSE.2012.6227082},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MusluBHEN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangLE12,
author = {Sai Zhang and
Hao L{\"{u}} and
Michael D. Ernst},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Finding errors in multithreaded {GUI} applications},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {243--253},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336782},
doi = {10.1145/2338965.2336782},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangLE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SchillerE12,
author = {Todd W. Schiller and
Michael D. Ernst},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Reducing the barriers to writing verified specifications},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {95--112},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384624},
doi = {10.1145/2384616.2384624},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SchillerE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MusluBHEN12,
author = {Kivan{\c{c}} Muslu and
Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Speculative analysis of integrated development environment recommendations},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {669--682},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384665},
doi = {10.1145/2384616.2384665},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MusluBHEN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HuangMDE12,
author = {Wei Huang and
Ana L. Milanova and
Werner Dietl and
Michael D. Ernst},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Reim {\&} ReImInfer: checking and inference of reference immutability
and method purity},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {879--896},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384680},
doi = {10.1145/2384616.2384680},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/HuangMDE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/GordonEG12,
author = {Colin S. Gordon and
Michael D. Ernst and
Dan Grossman},
editor = {Benjamin C. Pierce},
title = {Static lock capabilities for deadlock freedom},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {67--78},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103796},
doi = {10.1145/2103786.2103796},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/GordonEG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BeschastnikhBEKA11,
author = {Ivan Beschastnikh and
Yuriy Brun and
Michael D. Ernst and
Arvind Krishnamurthy and
Thomas E. Anderson},
title = {Mining temporal invariants from partially ordered logs},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {45},
number = {3},
pages = {39--46},
year = {2011},
url = {https://doi.org/10.1145/2094091.2094101},
doi = {10.1145/2094091.2094101},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/BeschastnikhBEKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TipFKEBS11,
author = {Frank Tip and
Robert M. Fuhrer and
Adam Kiezun and
Michael D. Ernst and
Ittai Balaban and
Bjorn De Sutter},
title = {Refactoring using type constraints},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {3},
pages = {9:1--9:47},
year = {2011},
url = {https://doi.org/10.1145/1961204.1961205},
doi = {10.1145/1961204.1961205},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TipFKEBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GaneshKAGHE11,
author = {Vijay Ganesh and
Adam Kiezun and
Shay Artzi and
Philip J. Guo and
Pieter Hooimeijer and
Michael D. Ernst},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {{HAMPI:} {A} String Solver for Testing, Analysis and Vulnerability
Detection},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {1--19},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_1},
doi = {10.1007/978-3-642-22110-1\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GaneshKAGHE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietlEM11,
author = {Werner Dietl and
Michael D. Ernst and
Peter M{\"{u}}ller},
editor = {Mira Mezini},
title = {Tunable Static Inference for Generic Universe Types},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {333--357},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_16},
doi = {10.1007/978-3-642-22655-7\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DietlEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DigME11,
author = {Danny Dig and
John Marrero and
Michael D. Ernst},
editor = {Victor Pankratius and
Michael Philippsen},
title = {How do programs become more concurrent: a story of program transformations},
booktitle = {Proceedings of the 4th International Workshop on Multicore Software
Engineering, {IWMSE} '11, Waikiki, Honolulu, HI, USA, May 21, 2011},
pages = {43--50},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984693.1984700},
doi = {10.1145/1984693.1984700},
timestamp = {Thu, 27 Jan 2022 10:52:55 +0100},
biburl = {https://dblp.org/rec/conf/icse/DigME11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SpotoE11,
author = {Fausto Spoto and
Michael D. Ernst},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Inference of field initialization},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {231--240},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985826},
doi = {10.1145/1985793.1985826},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SpotoE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BayneCE11,
author = {Michael Bayne and
Richard Cook and
Michael D. Ernst},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Always-available static and dynamic feedback},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {521--530},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985864},
doi = {10.1145/1985793.1985864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BayneCE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DietlDEMS11,
author = {Werner Dietl and
Stephanie Dietzel and
Michael D. Ernst and
Kivan{\c{c}} Muslu and
Todd W. Schiller},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Building and using pluggable type-checkers},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {681--690},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985889},
doi = {10.1145/1985793.1985889},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DietlDEMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangSBE11,
author = {Sai Zhang and
David Saff and
Yingyi Bu and
Michael D. Ernst},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Combined static and dynamic automated test generation},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {353--363},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001463},
doi = {10.1145/2001420.2001463},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhangSBE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RobinsonEPAL11,
author = {Brian Robinson and
Michael D. Ernst and
Jeff H. Perkins and
Vinay Augustine and
Nuo Li},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Scaling up automated test generation: Automatically generating maintainable
regression unit tests for programs},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100059},
doi = {10.1109/ASE.2011.6100059},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RobinsonEPAL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangZE11,
author = {Sai Zhang and
Cheng Zhang and
Michael D. Ernst},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Automated documentation inference to explain failed tests},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100145},
doi = {10.1109/ASE.2011.6100145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangZE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrunHEN11,
author = {Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Proactive detection of collaboration conflicts},
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 = {168--178},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025139},
doi = {10.1145/2025113.2025139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrunHEN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BeschastnikhBSSE11,
author = {Ivan Beschastnikh and
Yuriy Brun and
Sigurd Schneider and
Michael Sloan and
Michael D. Ernst},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Leveraging existing instrumentation to automatically infer invariant-constrained
models},
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 = {267--277},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025151},
doi = {10.1145/2025113.2025151},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BeschastnikhBSSE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrunHEN11a,
author = {Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Crystal: precise and unobtrusive conflict warnings},
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 = {444--447},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025187},
doi = {10.1145/2025113.2025187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrunHEN11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BeschastnikhABE11,
author = {Ivan Beschastnikh and
Jenny Abrahamson and
Yuriy Brun and
Michael D. Ernst},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Synoptic: studying logged behavior with inferred models},
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 = {448--451},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025188},
doi = {10.1145/2025113.2025188},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BeschastnikhABE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BuHBE10,
author = {Yingyi Bu and
Bill Howe and
Magdalena Balazinska and
Michael D. Ernst},
title = {HaLoop: Efficient Iterative Data Processing on Large Clusters},
journal = {Proc. {VLDB} Endow.},
volume = {3},
number = {1},
pages = {285--296},
year = {2010},
url = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R25.pdf},
doi = {10.14778/1920841.1920881},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BuHBE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ArtziKDTDPE10,
author = {Shay Artzi and
Adam Kiezun and
Julian Dolby and
Frank Tip and
Danny Dig and
Amit M. Paradkar and
Michael D. Ernst},
title = {Finding Bugs in Web Applications Using Dynamic Test Generation and
Explicit-State Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {4},
pages = {474--494},
year = {2010},
url = {https://doi.org/10.1109/TSE.2010.31},
doi = {10.1109/TSE.2010.31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ArtziKDTDPE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZibinPLAE10,
author = {Yoav Zibin and
Alex Potanin and
Paley Li and
Mahmood Ali and
Michael D. Ernst},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Ownership and immutability in generic Java},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {598--617},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869509},
doi = {10.1145/1869459.1869509},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZibinPLAE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/SchneiderBCEB10,
author = {Sigurd Schneider and
Ivan Beschastnikh and
Slava Chernyak and
Michael D. Ernst and
Yuriy Brun},
editor = {Greg Bronevetsky and
Kathryn M. Mohror and
Alice Zheng},
title = {Synoptic: Summarizing System Logs with Refinement},
booktitle = {Workshop on Managing Systems via Log Analysis and Machine Learning
Techniques, SLAML'10, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/slaml10/synoptic-summarizing-system-logs-refinement},
timestamp = {Tue, 25 Jul 2023 13:44:09 +0200},
biburl = {https://dblp.org/rec/conf/osdi/SchneiderBCEB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrunHEN10,
author = {Yuriy Brun and
Reid Holmes and
Michael D. Ernst and
David Notkin},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Speculative analysis: exploring future development states of software},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {59--64},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882375},
doi = {10.1145/1882362.1882375},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrunHEN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SchillerE10,
author = {Todd W. Schiller and
Michael D. Ernst},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Rethinking the economics of software engineering},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {325--330},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882429},
doi = {10.1145/1882362.1882429},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SchillerE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ErnstA10,
author = {Michael D. Ernst and
Mahmood Ali},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Building and using pluggable type systems},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {375--376},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882356},
doi = {10.1145/1882291.1882356},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ErnstA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Ernst10,
author = {Michael D. Ernst},
editor = {Gordon Fraser and
Angelo Gargantini},
title = {How Tests and Proofs Impede One Another: The Need for Always-On Static
and Dynamic Feedback},
booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {1--2},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_1},
doi = {10.1007/978-3-642-13977-2\_1},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/tap/Ernst10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ArtziKQE09,
author = {Shay Artzi and
Adam Kiezun and
Jaime Quinonez and
Michael D. Ernst},
title = {Parameter reference immutability: formal definition, inference tool,
and comparison},
journal = {Autom. Softw. Eng.},
volume = {16},
number = {1},
pages = {145--192},
year = {2009},
url = {https://doi.org/10.1007/s10515-008-0043-7},
doi = {10.1007/S10515-008-0043-7},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/ArtziKQE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KiezunGJE09,
author = {Adam Kiezun and
Philip J. Guo and
Karthick Jayaraman and
Michael D. Ernst},
title = {Automatic creation of {SQL} Injection and cross-site scripting attacks},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {199--209},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070521},
doi = {10.1109/ICSE.2009.5070521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KiezunGJE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DigME09,
author = {Danny Dig and
John Marrero and
Michael D. Ernst},
title = {Refactoring sequential Java code for concurrency via concurrent libraries},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {397--407},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070539},
doi = {10.1109/ICSE.2009.5070539},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DigME09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DigME09a,
author = {Danny Dig and
John Marrero and
Michael D. Ernst},
title = {Concurrencer: {A} tool for retrofitting concurrency into sequential
java applications via concurrent libraries},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {399--400},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071031},
doi = {10.1109/ICSE-COMPANION.2009.5071031},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DigME09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KiezunGGHE09,
author = {Adam Kiezun and
Vijay Ganesh and
Philip J. Guo and
Pieter Hooimeijer and
Michael D. Ernst},
editor = {Gregg Rothermel and
Laura K. Dillon},
title = {{HAMPI:} a solver for string constraints},
booktitle = {Proceedings of the Eighteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
2009},
pages = {105--116},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572272.1572286},
doi = {10.1145/1572272.1572286},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KiezunGGHE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ArtziKE09,
author = {Shay Artzi and
Sunghun Kim and
Michael D. Ernst},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {ReCrashJ: a tool for capturing and reproducing program crashes in
deployed applications},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {295--296},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595749},
doi = {10.1145/1595696.1595749},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ArtziKE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PerkinsKLABCPSSSWZER09,
author = {Jeff H. Perkins and
Sunghun Kim and
Samuel Larsen and
Saman P. Amarasinghe and
Jonathan Bachrach and
Michael Carbin and
Carlos Pacheco and
Frank Sherwood and
Stelios Sidiroglou and
Gregory T. Sullivan and
Weng{-}Fai Wong and
Yoav Zibin and
Michael D. Ernst and
Martin C. Rinard},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Automatically patching errors in deployed software},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {87--102},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629585},
doi = {10.1145/1629575.1629585},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/PerkinsKLABCPSSSWZER09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ArtziKE08,
author = {Shay Artzi and
Sunghun Kim and
Michael D. Ernst},
editor = {Jan Vitek},
title = {ReCrash: Making Software Failures Reproducible by Preserving Object
States},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {542--565},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_23},
doi = {10.1007/978-3-540-70592-5\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ArtziKE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/QuinonezTE08,
author = {Jaime Quinonez and
Matthew S. Tschantz and
Michael D. Ernst},
editor = {Jan Vitek},
title = {Inference of Reference Immutability},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {616--641},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_26},
doi = {10.1007/978-3-540-70592-5\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/QuinonezTE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PapiACPE08,
author = {Matthew M. Papi and
Mahmood Ali and
Telmo Luis Correa Jr. and
Jeff H. Perkins and
Michael D. Ernst},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Practical pluggable types for java},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {201--212},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390656},
doi = {10.1145/1390630.1390656},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/PapiACPE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ArtziKDTDPE08,
author = {Shay Artzi and
Adam Kiezun and
Julian Dolby and
Frank Tip and
Danny Dig and
Amit M. Paradkar and
Michael D. Ernst},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Finding bugs in dynamic web applications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {261--272},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390662},
doi = {10.1145/1390630.1390662},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArtziKDTDPE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PapiAE08,
author = {Matthew M. Papi and
Mahmood Ali and
Michael D. Ernst},
editor = {Gail E. Harris},
title = {Compile-time type-checking for custom type qualifiers in Java},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {723--724},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449830},
doi = {10.1145/1449814.1449830},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PapiAE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AliZPE08,
author = {Mahmood Ali and
Yoav Zibin and
Matthew M. Papi and
Michael D. Ernst},
editor = {Gail E. Harris},
title = {Enforcing reference and object immutability in Java},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {725--726},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449831},
doi = {10.1145/1449814.1449831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AliZPE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PapiAE08a,
author = {Matthew M. Papi and
Mahmood Ali and
Michael D. Ernst},
editor = {Gail E. Harris},
title = {Compile-time type-checking for custom type qualifiers in java},
booktitle = {Companion to the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-13, 2007, Nashville, TN, {USA}},
pages = {759--760},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449848},
doi = {10.1145/1449814.1449848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PapiAE08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McCamantE08,
author = {Stephen McCamant and
Michael D. Ernst},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Quantitative information flow as network flow capacity},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {193--205},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375606},
doi = {10.1145/1375581.1375606},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McCamantE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ErnstPGMPTX07,
author = {Michael D. Ernst and
Jeff H. Perkins and
Philip J. Guo and
Stephen McCamant and
Carlos Pacheco and
Matthew S. Tschantz and
Chen Xiao},
title = {The Daikon system for dynamic detection of likely invariants},
journal = {Sci. Comput. Program.},
volume = {69},
number = {1-3},
pages = {35--45},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.015},
doi = {10.1016/J.SCICO.2007.01.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ErnstPGMPTX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PachecoLEB07,
author = {Carlos Pacheco and
Shuvendu K. Lahiri and
Michael D. Ernst and
Thomas Ball},
title = {Feedback-Directed Random Test Generation},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.37},
doi = {10.1109/ICSE.2007.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PachecoLEB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KiezunETF07,
author = {Adam Kiezun and
Michael D. Ernst and
Frank Tip and
Robert M. Fuhrer},
title = {Refactoring for Parameterizing Java Classes},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {437--446},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.70},
doi = {10.1109/ICSE.2007.70},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KiezunETF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArtziKGE07,
author = {Shay Artzi and
Adam Kiezun and
David Glasser and
Michael D. Ernst},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Combined static and dynamic mutability analysis},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {104--113},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321649},
doi = {10.1145/1321631.1321649},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArtziKGE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KimE07,
author = {Sunghun Kim and
Michael D. Ernst},
title = {Prioritizing Warning Categories by Analyzing Software History},
booktitle = {Fourth International Workshop on Mining Software Repositories, {MSR}
2007 {(ICSE} Workshop), Minneapolis, MN, USA, May 19-20, 2007, Proceedings},
pages = {27},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MSR.2007.26},
doi = {10.1109/MSR.2007.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/KimE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PapiE07,
author = {Matthew M. Papi and
Michael D. Ernst},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Compile-time type-checking for custom type qualifiers in Java},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {809--810},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297899},
doi = {10.1145/1297846.1297899},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PapiE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PapiE07a,
author = {Matthew M. Papi and
Michael D. Ernst},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Compile-time type-checking for custom type qualifiers in Java},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {809--810},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297911},
doi = {10.1145/1297846.1297911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PapiE07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PachecoE07,
author = {Carlos Pacheco and
Michael D. Ernst},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Randoop: feedback-directed random testing for Java},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {815--816},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297902},
doi = {10.1145/1297846.1297902},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PachecoE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CorreaQE07,
author = {Telmo Luis Correa Jr. and
Jaime Quinonez and
Michael D. Ernst},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Tools for enforcing and inferring reference immutability in Java},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {866--867},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297929},
doi = {10.1145/1297846.1297929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/CorreaQE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McCamantE07,
author = {Stephen McCamant and
Michael D. Ernst},
editor = {Michael W. Hicks},
title = {A simulation-based proof technique for dynamic information flow},
booktitle = {Proceedings of the 2007 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2007, San Diego, California, USA, June 14, 2007},
pages = {41--46},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1255329.1255336},
doi = {10.1145/1255329.1255336},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/McCamantE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimE07,
author = {Sunghun Kim and
Michael D. Ernst},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Which warnings should {I} fix first?},
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 = {45--54},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287633},
doi = {10.1145/1287624.1287633},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KimE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZibinPAAKE07,
author = {Yoav Zibin and
Alex Potanin and
Mahmood Ali and
Shay Artzi and
Adam Kiezun and
Michael D. Ernst},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Object and reference immutability using java generics},
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 = {75--84},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287637},
doi = {10.1145/1287624.1287637},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZibinPAAKE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DemskyEGMPR06,
author = {Brian Demsky and
Michael D. Ernst and
Philip J. Guo and
Stephen McCamant and
Jeff H. Perkins and
Martin C. Rinard},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Inference and enforcement of data structure consistency specifications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {233--244},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146266},
doi = {10.1145/1146238.1146266},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/DemskyEGMPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuoPME06,
author = {Philip J. Guo and
Jeff H. Perkins and
Stephen McCamant and
Michael D. Ernst},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Dynamic inference of abstract types},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {255--265},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146268},
doi = {10.1145/1146238.1146268},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GuoPME06.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}
}
@article{DBLP:journals/sttt/BurdyCCEKLLP05,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph R. Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
title = {An overview of {JML} tools and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {212--232},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0167-4},
doi = {10.1007/S10009-004-0167-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BurdyCCEKLLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PachecoE05,
author = {Carlos Pacheco and
Michael D. Ernst},
editor = {Andrew P. Black},
title = {Eclat: Automatic Generation and Classification of Test Inputs},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {504--527},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_22},
doi = {10.1007/11531142\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PachecoE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WilliamsTE05,
author = {Amy L. Williams and
William Thies and
Michael D. Ernst},
editor = {Andrew P. Black},
title = {Static Deadlock Detection for Java Libraries},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {602--629},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_26},
doi = {10.1007/11531142\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WilliamsTE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Ernst05,
author = {Michael D. Ernst},
editor = {Paola Inverardi and
Mehdi Jazayeri},
title = {The Groupthink Specification Exercise},
booktitle = {Software Engineering Education in the Modern Age, Software Education
and Training Sessions at the International Conference on Software
Engineering, {ICSE} 2005, St. Louis, MO, USA, May 15-21, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4309},
pages = {89--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11949374\_6},
doi = {10.1007/11949374\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/Ernst05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ErnstC05,
author = {Michael D. Ernst and
John Chapin},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {The groupthink specification exercise},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {617--618},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062568},
doi = {10.1145/1062455.1062568},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ErnstC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SaffE05,
author = {David Saff and
Michael D. Ernst},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Test factoring: focusing test suites for the task at hand},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {656},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062590},
doi = {10.1145/1062455.1062590},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SaffE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SaffE05a,
author = {David Saff and
Michael D. Ernst},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Continuous testing in eclipse},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {668--669},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062600},
doi = {10.1145/1062455.1062600},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SaffE05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SaffAPE05,
author = {David Saff and
Shay Artzi and
Jeff H. Perkins and
Michael D. Ernst},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automatic test factoring for java},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {114--123},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101927},
doi = {10.1145/1101908.1101927},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SaffAPE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TschantzE05,
author = {Matthew S. Tschantz and
Michael D. Ernst},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Javari: adding reference immutability to Java},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {211--230},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094828},
doi = {10.1145/1094811.1094828},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TschantzE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ArtziE05,
author = {Shay Artzi and
Michael D. Ernst},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Using predicate fields in a highly flexible industrial control system},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {319--330},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094967},
doi = {10.1145/1094855.1094967},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ArtziE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2005,
editor = {Michael D. Ernst and
Thomas P. Jensen},
title = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
September 5-6, 2005},
publisher = {{ACM}},
year = {2005},
url = {http://dl.acm.org/citation.cfm?id=1108792},
isbn = {1-59593-239-9},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WinEGKL04,
author = {Toh Ne Win and
Michael D. Ernst and
Stephen J. Garland and
Dilsun Kirli Kaynar and
Nancy A. Lynch},
title = {Using simulated execution in verifying distributed algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {67--76},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0126-5},
doi = {10.1007/S10009-003-0126-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WinEGKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/McCamantE04,
author = {Stephen McCamant and
Michael D. Ernst},
editor = {Martin Odersky},
title = {Early Identification of Incompatibilities in Multi-component Upgrades},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {440--464},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_20},
doi = {10.1007/978-3-540-24851-4\_20},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/McCamantE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrunE04,
author = {Yuriy Brun and
Michael D. Ernst},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Finding Latent Code Errors via Machine Learning over Program Executions},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {480--490},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317470},
doi = {10.1109/ICSE.2004.1317470},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrunE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SaffE04,
author = {David Saff and
Michael D. Ernst},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {An experimental evaluation of continuous testing during development},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {76--85},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007523},
doi = {10.1145/1007512.1007523},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/SaffE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LinE04,
author = {Lee Lin and
Michael D. Ernst},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Improving the adaptability of multi-mode systems via program steering},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {206--216},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007540},
doi = {10.1145/1007512.1007540},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LinE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DonovanKTE04,
author = {Alan Donovan and
Adam Kiezun and
Matthew S. Tschantz and
Michael D. Ernst},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Converting java programs to use generic libraries},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {15--34},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028979},
doi = {10.1145/1028976.1028979},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DonovanKTE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BirkaE04,
author = {Adrian Birka and
Michael D. Ernst},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {A practical type system and language for reference immutability},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {35--49},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028980},
doi = {10.1145/1028976.1028980},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BirkaE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Ernst04,
author = {Michael D. Ernst},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Invited Talk Static and dynamic analysis: synergy and duality},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {35},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996823},
doi = {10.1145/996821.996823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/Ernst04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SaffE04,
author = {David Saff and
Michael D. Ernst},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {Mock object creation for test factoring},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {49--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996838},
doi = {10.1145/996821.996838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/SaffE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PerkinsE04,
author = {Jeff H. Perkins and
Michael D. Ernst},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Efficient incremental algorithms for dynamic detection of likely invariants},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {23--32},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029901},
doi = {10.1145/1029894.1029901},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PerkinsE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SaffE04,
author = {David Saff and
Michael D. Ernst},
editor = {Brian M. Barry and
Oege de Moor},
title = {Continuous Testing in Eclipse},
booktitle = {Proceedings of the Second Eclipse Technology Exchange: eTX and the
Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {107},
pages = {103--117},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.051},
doi = {10.1016/J.ENTCS.2004.02.051},
timestamp = {Fri, 09 Dec 2022 12:32:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SaffE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CookE03,
author = {Jonathan E. Cook and
Michael D. Ernst},
title = {Summary: {ICSE} workshop on dynamic analysis {(WODA} 2003)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {28},
number = {6},
pages = {4},
year = {2003},
url = {https://doi.org/10.1145/966221.966226},
doi = {10.1145/966221.966226},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CookE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarderME03,
author = {Michael Harder and
Jeff Mellen and
Michael D. Ernst},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Improving Test Suites via Operational Abstraction},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {60--73},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201188},
doi = {10.1109/ICSE.2003.1201188},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HarderME03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CookE03,
author = {Jonathan E. Cook and
Michael D. Ernst},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {{ICSE} Workshop on Dynamic Analysis {(WODA} 2003)},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {795--796},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201290},
doi = {10.1109/ICSE.2003.1201290},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CookE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SaffE03,
author = {David Saff and
Michael D. Ernst},
title = {Reducing wasted development time via continuous testing},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {281--292},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251050},
doi = {10.1109/ISSRE.2003.1251050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SaffE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/McCamantE03,
author = {Stephen McCamant and
Michael D. Ernst},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Predicting problems caused by component upgrades},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {287--296},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940110},
doi = {10.1145/940071.940110},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/McCamantE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WinEGKL03,
author = {Toh Ne Win and
Michael D. Ernst and
Stephen J. Garland and
Dilsun Kirli Kaynar and
Nancy A. Lynch},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Using Simulated Execution in Verifying Distributed Algorithms},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {283--297},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_23},
doi = {10.1007/3-540-36384-X\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WinEGKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BurdyCCEKLLP03,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {An overview of {JML} tools and applications},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {75--91},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80810-7},
doi = {10.1016/S1571-0661(04)80810-7},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BurdyCCEKLLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/WilmerE02,
author = {Elizabeth L. Wilmer and
Michael D. Ernst},
title = {Graphs induced by Gray codes},
journal = {Discret. Math.},
volume = {257},
number = {2-3},
pages = {585--598},
year = {2002},
url = {https://doi.org/10.1016/S0012-365X(02)00516-2},
doi = {10.1016/S0012-365X(02)00516-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/WilmerE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ErnstBN02,
author = {Michael D. Ernst and
Greg J. Badros and
David Notkin},
title = {An Empirical Analysis of {C} Preprocessor Use},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {12},
pages = {1146--1170},
year = {2002},
url = {https://doi.org/10.1109/TSE.2002.1158288},
doi = {10.1109/TSE.2002.1158288},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ErnstBN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NimmerE02,
author = {Jeremy W. Nimmer and
Michael D. Ernst},
editor = {Phyllis G. Frankl},
title = {Automatic generation of program specifications},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {229--239},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566213},
doi = {10.1145/566172.566213},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/NimmerE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NimmerE02,
author = {Jeremy W. Nimmer and
Michael D. Ernst},
title = {Invariant inference for static checking},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {11--20},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587054},
doi = {10.1145/587051.587054},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/NimmerE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ErnstCGN01,
author = {Michael D. Ernst and
Jake Cockrell and
William G. Griswold and
David Notkin},
title = {Dynamically Discovering Likely Program Invariants to Support Program
Evolution},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {2},
pages = {99--123},
year = {2001},
url = {https://doi.org/10.1109/32.908957},
doi = {10.1109/32.908957},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ErnstCGN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NotkinDEGW01,
author = {David Notkin and
Marc Donner and
Michael D. Ernst and
Michael M. Gorlick and
E. James Whitehead Jr.},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Panel: Perspectives on Software Engineering},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {699--702},
publisher = {{IEEE} Computer Society},
year = {2001},
timestamp = {Mon, 14 May 2012 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/NotkinDEGW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/Ernst01,
author = {Michael D. Ernst},
title = {Summary of Dynamically Discovering Likely Program Invariants},
booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
Florence, Italy, November 6-10, 2001},
pages = {540--544},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSM.2001.972767},
doi = {10.1109/ICSM.2001.972767},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/Ernst01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KataokaEGN01,
author = {Yoshio Kataoka and
Michael D. Ernst and
William G. Griswold and
David Notkin},
title = {Automated Support for Program Refactoring Using Invariants},
booktitle = {2001 International Conference on Software Maintenance, {ICSM} 2001,
Florence, Italy, November 6-10, 2001},
pages = {736--743},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSM.2001.972794},
doi = {10.1109/ICSM.2001.972794},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsm/KataokaEGN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NimmerE01,
author = {Jeremy W. Nimmer and
Michael D. Ernst},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Static verification of dynamically detected program invariants: Integrating
Daikon and ESC/Java},
booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {255--276},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00256-7},
doi = {10.1016/S1571-0661(04)00256-7},
timestamp = {Mon, 05 Dec 2022 12:32:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NimmerE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ErnstCGN00,
author = {Michael D. Ernst and
Adam Czeisler and
William G. Griswold and
David Notkin},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Quickly detecting relevant program invariants},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {449--458},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337240},
doi = {10.1145/337180.337240},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ErnstCGN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ErnstCGN99,
author = {Michael D. Ernst and
Jake Cockrell and
William G. Griswold and
David Notkin},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Dynamically Discovering Likely Program Invariants to Support Program
Evolution},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {213--224},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302467},
doi = {10.1145/302405.302467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ErnstCGN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Ernst99,
author = {Michael D. Ernst},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Research Summary for Dynamic Detection of Program Invariants},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {718--719},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302992},
doi = {10.1145/302405.302992},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Ernst99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ErnstKC98,
author = {Michael D. Ernst and
Craig S. Kaplan and
Craig Chambers},
editor = {Eric Jul},
title = {Predicate Dispatching: {A} Unified Theory of Dispatch},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {186--211},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054092},
doi = {10.1007/BFB0054092},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ErnstKC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErnstMW97,
author = {Michael D. Ernst and
Todd D. Millstein and
Daniel S. Weld},
title = {Automatic SAT-Compilation of Planning Problems},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {1169--1177},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-2/Papers/055.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErnstMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irep/1995,
editor = {Michael D. Ernst},
title = {Proceedings {ACM} {SIGPLAN} Workshop on Intermediate Representations
(IR'95), San Francisco, CA, USA, January 22, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/202529},
doi = {10.1145/202529},
isbn = {0-89791-754-5},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irep/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WeiseCES94,
author = {Daniel Weise and
Roger F. Crew and
Michael D. Ernst and
Bjarne Steensgaard},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Value Dependence Graphs: Representation without Taxation},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {297--310},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177907},
doi = {10.1145/174675.177907},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WeiseCES94.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-05-08 21:00 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:
