Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sigsoft/fse2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/sigsoft/0001R18,
author = {Mohammad Masudur Rahman and
Chanchal K. Roy},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Improving IR-based bug localization with context-aware query reformulation},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {621--632},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236065},
doi = {10.1145/3236024.3236065},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/0001R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001ZSDR18,
author = {Daejun Park and
Yi Zhang and
Manasvi Saxena and
Philip Daian and
Grigore Rosu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {A formal verification tool for Ethereum {VM} bytecode},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {912--915},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264591},
doi = {10.1145/3236024.3264591},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0001ZSDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0002JCHZ18,
author = {Yuan Huang and
Nan Jia and
Xiangping Chen and
Kai Hong and
Zibin Zheng},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Salient-class location: help developers understand code change in
code review},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {770--774},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264841},
doi = {10.1145/3236024.3264841},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0002JCHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0006WR18,
author = {Hailong Zhang and
Haowei Wu and
Atanas Rountev},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Detection of energy inefficiencies in Android wear watch faces},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {691--702},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236073},
doi = {10.1145/3236024.3236073},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/0006WR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AdamsenMAT18,
author = {Christoffer Quist Adamsen and
Anders M{\o}ller and
Saba Alimadadi and
Frank Tip},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Practical {AJAX} race detection for JavaScript web applications},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {38--48},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236038},
doi = {10.1145/3236024.3236038},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AdamsenMAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Afzal18,
author = {Afsoon Afzal},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Quality assurance automation in autonomous systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {948--951},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275429},
doi = {10.1145/3236024.3275429},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Afzal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AmarBB0M18,
author = {Hen Amar and
Lingfeng Bao and
Nimrod Busany and
David Lo and
Shahar Maoz},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Using finite-state models for log differencing},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {49--59},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236069},
doi = {10.1145/3236024.3236069},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AmarBB0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Anand18,
author = {Vaastav Anand},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Dara: hybrid model checking of distributed systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {977--979},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275438},
doi = {10.1145/3236024.3275438},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Anand18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AngellJBM18,
author = {Rico Angell and
Brittany Johnson and
Yuriy Brun and
Alexandra Meliou},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Themis: automatically testing software for discrimination},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {871--875},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264590},
doi = {10.1145/3236024.3264590},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AngellJBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AydinEBBGBY18,
author = {Abdulbaki Aydin and
William Eiers and
Lucas Bang and
Tegan Brennan and
Miroslav Gavrilov and
Tevfik Bultan and
Fang Yu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Parameterized model counting for string and numeric constraints},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {400--410},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236064},
doi = {10.1145/3236024.3236064},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AydinEBBGBY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Baltes018,
author = {Sebastian Baltes and
Stephan Diehl},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Towards a theory of software development expertise},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {187--200},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236061},
doi = {10.1145/3236024.3236061},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Baltes018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaoXX0L18,
author = {Lingfeng Bao and
Zhenchang Xing and
Xin Xia and
David Lo and
Shanping Li},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {VT-revolution: interactive programming tutorials made possible},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {924--927},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264587},
doi = {10.1145/3236024.3264587},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BaoXX0L18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarikFMP18,
author = {Titus Barik and
Denae Ford and
Emerson R. Murphy{-}Hill and
Chris Parnin},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {How should compilers explain problems to developers?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {633--643},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236040},
doi = {10.1145/3236024.3236040},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BarikFMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BasiosLWKB18,
author = {Michail Basios and
Lingbo Li and
Fan Wu and
Leslie Kanthan and
Earl T. Barr},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Darwinian data structure selection},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {118--128},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236043},
doi = {10.1145/3236024.3236043},
timestamp = {Fri, 14 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BasiosLWKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BianLSH018,
author = {Pan Bian and
Bin Liang and
Wenchang Shi and
Jianjun Huang and
Yan Cai},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {NAR-miner: discovering negative association rules from code for bug
detection},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {411--422},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236032},
doi = {10.1145/3236024.3236032},
timestamp = {Tue, 31 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BianLSH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrabermanGGUCPP18,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Javier Godoy and
Sebasti{\'{a}}n Uchitel and
Guido de Caso and
Ignacio Perez and
Santiago P{\'{e}}rez},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Testing and validating end user programmed calculated fields},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {827--832},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275531},
doi = {10.1145/3236024.3275531},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BrabermanGGUCPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Brindescu18,
author = {Caius Brindescu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {How do developers resolve merge conflicts? an investigation into the
processes, tools, and improvements},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {952--955},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275430},
doi = {10.1145/3236024.3275430},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Brindescu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrunM18,
author = {Yuriy Brun and
Alexandra Meliou},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Software fairness},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {754--759},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264838},
doi = {10.1145/3236024.3264838},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BrunM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaninoLM18,
author = {Anthony Canino and
Yu David Liu and
Hidehiko Masuhara},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Stochastic energy optimization for mobile {GPS} applications},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {703--713},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236076},
doi = {10.1145/3236024.3236076},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CaninoLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CelikLG18,
author = {Ahmet {\c{C}}elik and
Young{-}Chul Lee and
Milos Gligoric},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Regression test selection for TizenRT},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {845--850},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275527},
doi = {10.1145/3236024.3275527},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CelikLG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chen00M018,
author = {Dongjie Chen and
Yanyan Jiang and
Chang Xu and
Xiaoxing Ma and
Jian Lu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Testing multithreaded programs via thread speed control},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {15--25},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236077},
doi = {10.1145/3236024.3236077},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Chen00M018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenFKM18,
author = {Di Chen and
Wei Fu and
Rahul Krishna and
Tim Menzies},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Applications of psychological science for actionable analytics},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {456--467},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236050},
doi = {10.1145/3236024.3236050},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenFKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenLCXL18,
author = {Hongxu Chen and
Yuekang Li and
Bihuan Chen and
Yinxing Xue and
Yang Liu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{FOT:} a versatile, configurable, extensible fuzzing framework},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {867--870},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264593},
doi = {10.1145/3236024.3264593},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenLCXL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenLZZWH018,
author = {Junjie Chen and
Yiling Lou and
Lingming Zhang and
Jianyi Zhou and
Xiaoleng Wang and
Dan Hao and
Lu Zhang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Optimizing test prioritization via test distribution analysis},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {656--667},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236053},
doi = {10.1145/3236024.3236053},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenLZZWH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenSFMXLX18,
author = {Sen Chen and
Ting Su and
Lingling Fan and
Guozhu Meng and
Minhui Xue and
Yang Liu and
Lihua Xu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Are mobile banking apps secure? what can be improved?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {797--802},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275523},
doi = {10.1145/3236024.3275523},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenSFMXLX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DashAB18,
author = {Santanu Kumar Dash and
Miltiadis Allamanis and
Earl T. Barr},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {RefiNym: using names to refine types},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {107--117},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236042},
doi = {10.1145/3236024.3236042},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/DashAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DavisCSL18,
author = {James C. Davis and
Christy A. Coghlan and
Francisco Servant and
Dongyoon Lee},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {The impact of regular expression denial of service (ReDoS) in practice:
an empirical study at the ecosystem scale},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {246--256},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236027},
doi = {10.1145/3236024.3236027},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DavisCSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DeFreez18,
author = {Daniel DeFreez},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Mining error-handling specifications for systems software},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {983--985},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275440},
doi = {10.1145/3236024.3275440},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DeFreez18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DeFreezTR18,
author = {Daniel DeFreez and
Aditya V. Thakur and
Cindy Rubio{-}Gonz{\'{a}}lez},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Path-based function embedding and its application to error-handling
specification mining},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {423--433},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236059},
doi = {10.1145/3236024.3236059},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DeFreezTR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DebroyMB18,
author = {Vidroha Debroy and
Senecca Miller and
Lance Brimble},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Building lean continuous integration and delivery pipelines by applying
DevOps principles: a case study at Varidesk},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {851--856},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275528},
doi = {10.1145/3236024.3275528},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DebroyMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DoB18,
author = {Lisa Nguyen Quang Do and
Eric Bodden},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Gamifying static analysis},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {714--718},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264830},
doi = {10.1145/3236024.3264830},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DoB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DongWLGBLXK18,
author = {Feng Dong and
Haoyu Wang and
Li Li and
Yao Guo and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Tianming Liu and
Guoai Xu and
Jacques Klein},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {FraudDroid: automated ad fraud detection for Android apps},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {257--268},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236045},
doi = {10.1145/3236024.3236045},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DongWLGBLXK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DuttaLHM18,
author = {Saikat Dutta and
Owolabi Legunsen and
Zixin Huang and
Sasa Misailovic},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Testing probabilistic programming systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {574--586},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236057},
doi = {10.1145/3236024.3236057},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DuttaLHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ErataGKT18,
author = {Ferhat Erata and
Arda Goknil and
Ivan Kurtev and
Bedir Tekinerdogan},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {AlloyInEcore: embedding of first-order relational logic into meta-object
facility for automated model reasoning},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {920--923},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264588},
doi = {10.1145/3236024.3264588},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ErataGKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Erofeeva18,
author = {Irina Erofeeva},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {How Dance(Sport) can help to produce better software},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {971--973},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275436},
doi = {10.1145/3236024.3275436},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Erofeeva18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Fakhoury18,
author = {Sarah Fakhoury},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Moving towards objective measures of program comprehension},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {936--939},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275426},
doi = {10.1145/3236024.3275426},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Fakhoury18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Fazzini18,
author = {Mattia Fazzini},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Automated support for mobile application testing and maintenance},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {932--935},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275425},
doi = {10.1145/3236024.3275425},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Fazzini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FedorovaMBRWMY18,
author = {Alexandra Fedorova and
Craig Mustard and
Ivan Beschastnikh and
Julia Rubin and
Augustine Wong and
Svetozar Miucin and
Louis Ye},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Performance comprehension at WiredTiger},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {83--94},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236081},
doi = {10.1145/3236024.3236081},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FedorovaMBRWMY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FooCYAS18,
author = {Darius Foo and
Hendy Chua and
Jason Yeo and
Ming Yi Ang and
Asankhaya Sharma},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Efficient static checking of library updates},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {791--796},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275535},
doi = {10.1145/3236024.3275535},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FooCYAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GadelhaMCN18,
author = {Mikhail Y. R. Gadelha and
Felipe R. Monteiro and
Lucas C. Cordeiro and
Denis A. Nicole},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Towards counterexample-guided k-induction for fast bug detection},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {765--769},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264840},
doi = {10.1145/3236024.3264840},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GadelhaMCN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GaoDQGW0HZW18,
author = {Yu Gao and
Wensheng Dou and
Feng Qin and
Chushu Gao and
Dong Wang and
Jun Wei and
Ruirui Huang and
Li Zhou and
Yongming Wu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {An empirical study on crash recovery bugs in large-scale distributed
systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {539--550},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236030},
doi = {10.1145/3236024.3236030},
timestamp = {Fri, 14 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GaoDQGW0HZW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GaoYFJSS18,
author = {Jian Gao and
Xin Yang and
Ying Fu and
Yu Jiang and
Heyuan Shi and
Jiaguang Sun},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {VulSeeker-pro: enhanced semantic learning based binary vulnerability
seeker with emulation},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {803--808},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275524},
doi = {10.1145/3236024.3275524},
timestamp = {Sat, 06 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GaoYFJSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GaoZ0LLK18,
author = {Cuiyun Gao and
Jichuan Zeng and
David Lo and
Chin{-}Yew Lin and
Michael R. Lyu and
Irwin King},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{INFAR:} insight extraction from app reviews},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {904--907},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264595},
doi = {10.1145/3236024.3264595},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GaoZ0LLK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GlonduJS18,
author = {St{\'{e}}phane Glondu and
Lingxiao Jiang and
Zhendong Su},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Ten years of hunting for similar code for fun and profit (keynote)},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3280856},
doi = {10.1145/3236024.3280856},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GlonduJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GulzarWK18,
author = {Muhammad Ali Gulzar and
Siman Wang and
Miryung Kim},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {BigSift: automated debugging of big data analytics in data-intensive
scalable computing},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {863--866},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264586},
doi = {10.1145/3236024.3264586},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GulzarWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoJZCS18,
author = {Jianmin Guo and
Yu Jiang and
Yue Zhao and
Quan Chen and
Jiaguang Sun},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {DLFuzz: differential fuzzing testing of deep learning systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {739--743},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264835},
doi = {10.1145/3236024.3264835},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoJZCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoWW18,
author = {Shengjian Guo and
Meng Wu and
Chao Wang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Adversarial symbolic execution for detecting concurrency-related cache
timing leaks},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {377--388},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236028},
doi = {10.1145/3236024.3236028},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Gusmanov18,
author = {Kamill Gusmanov},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {On the adoption of neural networks in modeling software reliability},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {962--964},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275433},
doi = {10.1145/3236024.3275433},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Gusmanov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HashimotoMI18,
author = {Masatomo Hashimoto and
Akira Mori and
Tomonori Izumida},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Automated patch extraction via syntax- and semantics-aware Delta debugging
on source code changes},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {598--609},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236047},
doi = {10.1145/3236024.3236047},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HashimotoMI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HeH18,
author = {Xiao He and
Zhenjiang Hu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Putback-based bidirectional model transformations},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {434--444},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236070},
doi = {10.1145/3236024.3236070},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HeH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HeLLZLZ18,
author = {Shilin He and
Qingwei Lin and
Jian{-}Guang Lou and
Hongyu Zhang and
Michael R. Lyu and
Dongmei Zhang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Identifying impactful service system problems via log analysis},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {60--70},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236083},
doi = {10.1145/3236024.3236083},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HeLLZLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HebigSBPW18,
author = {Regina Hebig and
Christoph Seidl and
Thorsten Berger and
John Kook Pedersen and
Andrzej Wasowski},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Model transformation languages under a magnifying glass: a controlled
experiment with Xtend, ATL, and {QVT}},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {445--455},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236046},
doi = {10.1145/3236024.3236046},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HebigSBPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HellendoornBBA18,
author = {Vincent J. Hellendoorn and
Christian Bird and
Earl T. Barr and
Miltiadis Allamanis},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Deep learning type inference},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {152--162},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236051},
doi = {10.1145/3236024.3236051},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HellendoornBBA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HellendoornDA18,
author = {Vincent J. Hellendoorn and
Premkumar T. Devanbu and
Mohammad Amin Alipour},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {On the naturalness of proofs},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {724--728},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264832},
doi = {10.1145/3236024.3264832},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HellendoornDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HenkelLLR18,
author = {Jordan Henkel and
Shuvendu K. Lahiri and
Ben Liblit and
Thomas W. Reps},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Code vectors: understanding programs through embedded abstracted symbolic
traces},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {163--174},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236085},
doi = {10.1145/3236024.3236085},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HenkelLLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Hosseini18,
author = {Mitra Bokaei Hosseini},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Semantic inference from natural language privacy policies and Android
code},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {940--943},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275427},
doi = {10.1145/3236024.3275427},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Hosseini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HuZY18,
author = {Gang Hu and
Linjie Zhu and
Junfeng Yang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {AppFlow: using machine learning to synthesize robust, reusable {UI}
tests},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {269--282},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236055},
doi = {10.1145/3236024.3236055},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HuZY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HuaZWK18,
author = {Jinru Hua and
Mengshi Zhang and
Kaiyuan Wang and
Sarfraz Khurshid},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {SketchFix: a tool for automated program repair approach using lazy
candidate generation},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {888--891},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264600},
doi = {10.1145/3236024.3264600},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HuaZWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ImtiazB18,
author = {Sayem Mohammad Imtiaz and
Tanmay Bhowmik},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Towards data-driven vulnerability prediction for requirements},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {744--748},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264836},
doi = {10.1145/3236024.3264836},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ImtiazB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/IvanovPRSYZ18,
author = {Vladimir Ivanov and
Vladislav Pischulin and
Alan Rogers and
Giancarlo Succi and
Jooyong Yi and
Vasilii Zorin},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Design and validation of precooked developer dashboards},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {821--826},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275530},
doi = {10.1145/3236024.3275530},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/IvanovPRSYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JamshidiVKS18,
author = {Pooyan Jamshidi and
Miguel Velez and
Christian K{\"{a}}stner and
Norbert Siegmund},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Learning to sample: exploiting similarities across environments to
learn performance models for configurable systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {71--82},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236074},
doi = {10.1145/3236024.3236074},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/JamshidiVKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KateOZEX18,
author = {Sayali Kate and
John{-}Paul Ore and
Xiangyu Zhang and
Sebastian G. Elbaum and
Zhaogui Xu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Phys: probabilistic physical unit assignment and inconsistency detection},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {563--573},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236035},
doi = {10.1145/3236024.3236035},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KateOZEX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Ketkar18,
author = {Ameya Ketkar},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Type migration in large-scale code bases},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {965--967},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275434},
doi = {10.1145/3236024.3275434},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Ketkar18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimC018,
author = {Mijung Kim and
Shing{-}Chi Cheung and
Sunghun Kim},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Which generated test failures are fault revealing? prioritizing failures
based on inferred precondition violations using {PAF}},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {679--690},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236058},
doi = {10.1145/3236024.3236058},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KimC018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KiniM018,
author = {Dileep Kini and
Umang Mathur and
Mahesh Viswanathan},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Data race detection on compressed traces},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {26--37},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236025},
doi = {10.1145/3236024.3236025},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KiniM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeB018,
author = {Tien{-}Duy B. Le and
Lingfeng Bao and
David Lo},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{DSM:} a specification mining tool using recurrent neural network
based language model},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {896--899},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264597},
doi = {10.1145/3236024.3264597},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LeB018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeeHO18,
author = {Junhee Lee and
Seongjoon Hong and
Hakjoo Oh},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {MemFix: static analysis-based repair of memory deallocation errors
for {C}},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {95--106},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236079},
doi = {10.1145/3236024.3236079},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LeeHO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LehmannP18,
author = {Daniel Lehmann and
Michael Pradel},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Feedback-directed differential testing of interactive debuggers},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {610--620},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236037},
doi = {10.1145/3236024.3236037},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LehmannP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiTMS18,
author = {Yue Li and
Tian Tan and
Anders M{\o}ller and
Yannis Smaragdakis},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Scalability-first pointer analysis with self-tuning context-sensitivity},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {129--140},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236041},
doi = {10.1145/3236024.3236041},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LiTMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiangJCWZS18,
author = {Jie Liang and
Yu Jiang and
Yuanliang Chen and
Mingzhe Wang and
Chijin Zhou and
Jiaguang Sun},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{PAFL:} extend fuzzing optimizations of single mode to industrial
parallel mode},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {809--814},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275525},
doi = {10.1145/3236024.3275525},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LiangJCWZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Lima18,
author = {Bruno Lima},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Automated scenario-based integration testing of distributed systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {956--958},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275431},
doi = {10.1145/3236024.3275431},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Lima18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LinHDZSXLLWYCZ18,
author = {Qingwei Lin and
Ken Hsieh and
Yingnong Dang and
Hongyu Zhang and
Kaixin Sui and
Yong Xu and
Jian{-}Guang Lou and
Chenggang Li and
Youjiang Wu and
Randolph Yao and
Murali Chintalapati and
Dongmei Zhang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Predicting Node failure in cloud service systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {480--490},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236060},
doi = {10.1145/3236024.3236060},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LinHDZSXLLWYCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiuYLJZS18,
author = {Han Liu and
Zhiqiang Yang and
Chao Liu and
Yu Jiang and
Wenqi Zhao and
Jiaguang Sun},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {EClone: detect semantic clones in Ethereum via symbolic transaction
sketch},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {900--903},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264596},
doi = {10.1145/3236024.3264596},
timestamp = {Thu, 12 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LiuYLJZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LlerenaBBSR18,
author = {Yamilet R. Serrano Llerena and
Marcel B{\"{o}}hme and
Marc Br{\"{u}}nink and
Guoxin Su and
David S. Rosenblum},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Verifying the long-run behavior of probabilistic system models in
the presence of uncertainty},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {587--597},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236078},
doi = {10.1145/3236024.3236078},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LlerenaBBSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LuLL018,
author = {Jie Lu and
Feng Li and
Lian Li and
Xiaobing Feng},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {CloudRaid: hunting concurrency bugs in the cloud via log-mining},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {3--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236071},
doi = {10.1145/3236024.3236071},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LuLL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaLLZG18,
author = {Shiqing Ma and
Yingqi Liu and
Wen{-}Chuan Lee and
Xiangyu Zhang and
Ananth Grama},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{MODE:} automated neural network model debugging via state differential
analysis and input selection},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {175--186},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236082},
doi = {10.1145/3236024.3236082},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MaLLZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaddoxLR18,
author = {Jackson Maddox and
Yuheng Long and
Hridesh Rajan},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Large-scale study of substitutability in the presence of effects},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {528--538},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236075},
doi = {10.1145/3236024.3236075},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MaddoxLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MansoorSSBCF18,
author = {Niloofar Mansoor and
Jonathan A. Saddler and
Bruno Vieira Resende e Silva and
Hamid Bagheri and
Myra B. Cohen and
Shane Farritor},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Modeling and testing a family of surgical robots: an experience report},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {785--790},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275534},
doi = {10.1145/3236024.3275534},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MansoorSSBCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/McNamaraSM18,
author = {Andrew McNamara and
Justin Smith and
Emerson R. Murphy{-}Hill},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Does ACM's code of ethics change ethical decision making in software
development?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {729--733},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264833},
doi = {10.1145/3236024.3264833},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/McNamaraSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MechtaevGCR18,
author = {Sergey Mechtaev and
Alberto Griggio and
Alessandro Cimatti and
Abhik Roychoudhury},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Symbolic execution with existential second-order constraints},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {389--399},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236049},
doi = {10.1145/3236024.3236049},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MechtaevGCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Meijer18,
author = {Erik Meijer},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Behind every great deep learning framework is an even greater programming
languages concept (keynote)},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {1},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3280855},
doi = {10.1145/3236024.3280855},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Meijer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MougoueiPHSW18,
author = {Davoud Mougouei and
Harsha Perera and
Waqar Hussain and
Rifat Ara Shams and
Jon Whittle},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Operationalizing human values in software: a research roadmap},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {780--784},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264843},
doi = {10.1145/3236024.3264843},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MougoueiPHSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Nguyen18,
author = {Son Nguyen},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Feature-interaction aware configuration prioritization},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {974--976},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275437},
doi = {10.1145/3236024.3275437},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Nguyen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NguyenTPNT0NN18,
author = {Thanh Van Nguyen and
Ngoc M. Tran and
Hung Phan and
Trong Duc Nguyen and
Linh H. Truong and
Anh Tuan Nguyen and
Hoan Anh Nguyen and
Tien N. Nguyen},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Complementing global and local contexts in representing {API} descriptions
to improve {API} retrieval tasks},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {551--562},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236036},
doi = {10.1145/3236024.3236036},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/NguyenTPNT0NN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Nocera18,
author = {Francesco Nocera},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Reshaping distributed agile and adaptive development environment},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {968--970},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275435},
doi = {10.1145/3236024.3275435},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Nocera18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NoeiCZ18,
author = {Ehsan Noei and
Daniel Alencar da Costa and
Ying Zou},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Winning the app production rally},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {283--294},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236044},
doi = {10.1145/3236024.3236044},
timestamp = {Sun, 23 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/NoeiCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PauckBW18,
author = {Felix Pauck and
Eric Bodden and
Heike Wehrheim},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Do Android taint analysis tools keep their promises?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {331--341},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236029},
doi = {10.1145/3236024.3236029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PauckBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/QuerelR18,
author = {Louis{-}Philippe Querel and
Peter C. Rigby},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {WarningsGuru: integrating statistical bug models with static analysis
to provide timely and specific bug warnings},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {892--895},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264599},
doi = {10.1145/3236024.3264599},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/QuerelR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RahmanR18,
author = {Md Tajmilur Rahman and
Peter C. Rigby},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {The impact of failing, flaky, and high failure tests on the number
of crash reports associated with Firefox builds},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {857--862},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275529},
doi = {10.1145/3236024.3275529},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RahmanR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RamSCB18,
author = {Achyudh Ram and
Anand Ashok Sawant and
Marco Castelluccio and
Alberto Bacchelli},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {What makes a code change easier to review: an empirical investigation
on code change reviewability},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {201--212},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236080},
doi = {10.1145/3236024.3236080},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/RamSCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Reinhardt0MK18,
author = {Anastasia Reinhardt and
Tianyi Zhang and
Mihir Mathur and
Miryung Kim},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Augmenting stack overflow with {API} usage patterns mined from GitHub},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {880--883},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264585},
doi = {10.1145/3236024.3264585},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Reinhardt0MK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RenYHFK18,
author = {Jinglei Ren and
Hezheng Yin and
Qingda Hu and
Armando Fox and
Wojciech Koszek},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Towards quantifying the development value of code contributions},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {775--779},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264842},
doi = {10.1145/3236024.3264842},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RenYHFK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Robson18,
author = {Neill Robson},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Diversity and decorum in open source communities},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {986--987},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275441},
doi = {10.1145/3236024.3275441},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Robson18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RoyPDH18,
author = {Subhajit Roy and
Awanish Pandey and
Brendan Dolan{-}Gavitt and
Yu Hu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Bug synthesis: challenging bug-finding tools with deep faults},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {224--234},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236084},
doi = {10.1145/3236024.3236084},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RoyPDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SainiFLBL18,
author = {Vaibhav Saini and
Farima Farmahinifarahani and
Yadong Lu and
Pierre Baldi and
Cristina V. Lopes},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Oreo: detection of clones in the twilight zone},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {354--365},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236026},
doi = {10.1145/3236024.3236026},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SainiFLBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Salem18,
author = {Paulo Salem},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {The case for experiment-oriented computing},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {719--723},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264831},
doi = {10.1145/3236024.3264831},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Salem18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ShermanD18,
author = {Elena Sherman and
Robert Dyer},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Software engineering collaboratories (SEClabs) and collaboratories
as a service (CaaS)},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {760--764},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264839},
doi = {10.1145/3236024.3264839},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ShermanD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SiLZAKN18,
author = {Xujie Si and
Woosuk Lee and
Richard Zhang and
Aws Albarghouthi and
Paraschos Koutris and
Mayur Naik},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Syntax-guided synthesis of Datalog programs},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {515--527},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236034},
doi = {10.1145/3236024.3236034},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SiLZAKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SongM018,
author = {Liyan Song and
Leandro L. Minku and
Xin Yao},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {A novel automated approach for software effort estimation based on
data augmentation},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {468--479},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236052},
doi = {10.1145/3236024.3236052},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SongM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Spadini18,
author = {Davide Spadini},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Practices and tools for better software testing},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {928--931},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275424},
doi = {10.1145/3236024.3275424},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Spadini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SpadiniAB18,
author = {Davide Spadini and
Maur{\'{\i}}cio Finavaro Aniche and
Alberto Bacchelli},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {PyDriller: Python framework for mining software repositories},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {908--911},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264598},
doi = {10.1145/3236024.3264598},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SpadiniAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StoccoYM18,
author = {Andrea Stocco and
Rahulkrishna Yandrapally and
Ali Mesbah},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Visual web test repair},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {503--514},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236063},
doi = {10.1145/3236024.3236063},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/StoccoYM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StoccoYM18a,
author = {Andrea Stocco and
Rahulkrishna Yandrapally and
Ali Mesbah},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Vista: web test repair using computer vision},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {876--879},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264592},
doi = {10.1145/3236024.3264592},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/StoccoYM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Sun18,
author = {Xinyuan Sun},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Towards learning-augmented languages},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {959--961},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275432},
doi = {10.1145/3236024.3275432},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Sun18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Tomassi18,
author = {David A. Tomassi},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Bugs in the wild: examining the effectiveness of static analyzers
at finding real-world bugs},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {980--982},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275439},
doi = {10.1145/3236024.3275439},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Tomassi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TuZZZ18,
author = {Feifei Tu and
Jiaxin Zhu and
Qimu Zheng and
Minghui Zhou},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Be careful of when: an empirical study on time-related misuse of issue
tracking data},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {307--318},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236054},
doi = {10.1145/3236024.3236054},
timestamp = {Wed, 05 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/TuZZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Tzoref-BrillM18,
author = {Rachel Tzoref{-}Brill and
Shahar Maoz},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Modify, enhance, select: co-evolution of combinatorial models and
test plans},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {235--245},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236067},
doi = {10.1145/3236024.3236067},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Tzoref-BrillM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ValievVH18,
author = {Marat Valiev and
Bogdan Vasilescu and
James D. Herbsleb},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Ecosystem-level determinants of sustained activity in open-source
projects: a case study of the PyPI ecosystem},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {644--655},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236062},
doi = {10.1145/3236024.3236062},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ValievVH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangGXXNDHX18,
author = {Qingshun Wang and
Lintao Gu and
Minhui Xue and
Lihua Xu and
Wenyu Niu and
Liang Dou and
Liang He and
Tao Xie},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {{FACTS:} automated black-box testing of FinTech systems},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {839--844},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275533},
doi = {10.1145/3236024.3275533},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangGXXNDHX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangS18,
author = {Peipei Wang and
Kathryn T. Stolee},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {How well are regular expressions tested in the wild?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {668--678},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236072},
doi = {10.1145/3236024.3236072},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WangS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangSMK18,
author = {Kaiyuan Wang and
Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {ASketch: a sketching framework for Alloy},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {916--919},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264594},
doi = {10.1145/3236024.3264594},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangWLWWYYZC18,
author = {Ying Wang and
Ming Wen and
Zhenwei Liu and
Rongxin Wu and
Rui Wang and
Bo Yang and
Hai Yu and
Zhiliang Zhu and
Shing{-}Chi Cheung},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Do the dependency conflicts in my project matter?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {319--330},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236056},
doi = {10.1145/3236024.3236056},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangWLWWYYZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WeiCFFD18,
author = {Jiayi Wei and
Jia Chen and
Yu Feng and
Kostas Ferles and
Isil Dillig},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Singularity: pattern fuzzing for worst case complexity},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {213--223},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236039},
doi = {10.1145/3236024.3236039},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WeiCFFD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WongMK18,
author = {Chu{-}Pan Wong and
Jens Meinicke and
Christian K{\"{a}}stner},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Beyond testing configurable systems: applying variational execution
to automatic program repair and higher order mutation testing},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {749--753},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264837},
doi = {10.1145/3236024.3264837},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WongMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WongW18,
author = {Sunny Wong and
Anne Woepse},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Software development challenges with air-gap isolation},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {815--820},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275526},
doi = {10.1145/3236024.3275526},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WongW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WoodRAM18,
author = {Andrew Wood and
Paige Rodeghero and
Ameer Armaly and
Collin McMillan},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Detecting speech act types in developer question/answer conversations
during bug repair},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {491--502},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236031},
doi = {10.1145/3236024.3236031},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WoodRAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XuDZG0018,
author = {Liang Xu and
Wensheng Dou and
Jiaxin Zhu and
Chushu Gao and
Jun Wei and
Tao Huang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {How are spreadsheet templates used in practice: a case study on Enron},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {734--738},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264834},
doi = {10.1145/3236024.3264834},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/XuDZG0018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YangYSLC18,
author = {Junwen Yang and
Cong Yan and
Pranav Subramaniam and
Shan Lu and
Alvin Cheung},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {PowerStation: automatically detecting and fixing inefficiencies of
database-backed web applications in {IDE}},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {884--887},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264589},
doi = {10.1145/3236024.3264589},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YangYSLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YiH18,
author = {Qiuping Yi and
Jeff Huang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Concurrency verification with maximal path causality},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {366--376},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236048},
doi = {10.1145/3236024.3236048},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangHHZZ18,
author = {Jie Zhang and
Shi Han and
Dan Hao and
Lu Zhang and
Dongmei Zhang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Automated refactoring of nested-IF formulae in spreadsheets},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {833--838},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275532},
doi = {10.1145/3236024.3275532},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangHHZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangVWF18,
author = {Yang Zhang and
Bogdan Vasilescu and
Huaimin Wang and
Vladimir Filkov},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {One size does not fit all: an empirical study of containerized continuous
deployment workflows},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {295--306},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236033},
doi = {10.1145/3236024.3236033},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangVWF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhaoARJO18,
author = {Jinman Zhao and
Aws Albarghouthi and
Vaibhav Rastogi and
Somesh Jha and
Damien Octeau},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Neural-augmented static analysis of Android communication},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {342--353},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236066},
doi = {10.1145/3236024.3236066},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhaoARJO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhaoH18,
author = {Gang Zhao and
Jeff Huang},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {DeepSim: deep learning code functional similarity},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {141--151},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236068},
doi = {10.1145/3236024.3236068},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhaoH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Zhou18,
author = {Cheng Zhou},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Intelligent bug fixing with software bug knowledge graph},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {944--947},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275428},
doi = {10.1145/3236024.3275428},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Zhou18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018,
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024},
doi = {10.1145/3236024},
isbn = {978-1-4503-5573-5},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2018.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.
retrieved on 2024-05-24 02:44 CEST from data curated 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:
