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/issta/issta2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/issta/0029BWK18,
author = {Li Li and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Haoyu Wang and
Jacques Klein},
editor = {Frank Tip and
Eric Bodden},
title = {CiD: automating the detection of API-related compatibility issues
in Android apps},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {153--163},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213857},
doi = {10.1145/3213846.3213857},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/0029BWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlmasiHFMB18,
author = {Mohammad Moein Almasi and
Hadi Hemmati and
Gordon Fraser and
Phil McMinn and
Janis Benefelds},
editor = {Frank Tip and
Eric Bodden},
title = {Search-based detection of deviation failures in the migration of legacy
spreadsheet applications},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {266--275},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213861},
doi = {10.1145/3213846.3213861},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlmasiHFMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BehrangO18,
author = {Farnaz Behrang and
Alessandro Orso},
editor = {Frank Tip and
Eric Bodden},
title = {Test migration for efficient large-scale assessment of mobile app
coding assignments},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {164--175},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213854},
doi = {10.1145/3213846.3213854},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BehrangO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Blaser18,
author = {Luc Bl{\"{a}}ser},
editor = {Frank Tip and
Eric Bodden},
title = {Practical detection of concurrency issues at coding time},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {221--231},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213853},
doi = {10.1145/3213846.3213853},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Blaser18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BlasiGKGEPC18,
author = {Arianna Blasi and
Alberto Goffi and
Konstantin Kuznetsov and
Alessandra Gorla and
Michael D. Ernst and
Mauro Pezz{\`{e}} and
Sergio Delgado Castellanos},
editor = {Frank Tip and
Eric Bodden},
title = {Translating code comments to procedure specifications},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {242--253},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213872},
doi = {10.1145/3213846.3213872},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BlasiGKGEPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BrennanSBP18,
author = {Tegan Brennan and
Seemanta Saha and
Tevfik Bultan and
Corina S. Pasareanu},
editor = {Frank Tip and
Eric Bodden},
title = {Symbolic path cost analysis for side-channel detection},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {27--37},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213867},
doi = {10.1145/3213846.3213867},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BrennanSBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CumminsPML18,
author = {Chris Cummins and
Pavlos Petoumenos and
Alastair Murray and
Hugh Leather},
editor = {Frank Tip and
Eric Bodden},
title = {Compiler fuzzing through deep learning},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {95--105},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213848},
doi = {10.1145/3213846.3213848},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/CumminsPML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DwarakanathASRB18,
author = {Anurag Dwarakanath and
Manish Ahuja and
Samarth Sikand and
Raghotham M. Rao and
R. P. Jagadeesh Chandra Bose and
Neville Dubash and
Sanjay Podder},
editor = {Frank Tip and
Eric Bodden},
title = {Identifying implementation bugs in machine learning based image classifiers
using metamorphic testing},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {118--128},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213858},
doi = {10.1145/3213846.3213858},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DwarakanathASRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FazziniPdO18,
author = {Mattia Fazzini and
Martin Prammer and
Marcelo d'Amorim and
Alessandro Orso},
editor = {Frank Tip and
Eric Bodden},
title = {Automatically translating bug reports into test cases for mobile apps},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {141--152},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213869},
doi = {10.1145/3213846.3213869},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FazziniPdO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FiedorMSVV18,
author = {Jan Fiedor and
Monika Muzikovsk{\'{a}} and
Ales Smrcka and
Ondrej Vas{\'{\i}}cek and
Tom{\'{a}}s Vojnar},
editor = {Frank Tip and
Eric Bodden},
title = {Advances in the ANaConDA framework for dynamic analysis and testing
of concurrent {C/C++} programs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {356--359},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229505},
doi = {10.1145/3213846.3229505},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FiedorMSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FourtounisKS18,
author = {George Fourtounis and
George Kastrinis and
Yannis Smaragdakis},
editor = {Frank Tip and
Eric Bodden},
title = {Static analysis of Java dynamic proxies},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {209--220},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213864},
doi = {10.1145/3213846.3213864},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/FourtounisKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GaoYJLYS018,
author = {Jian Gao and
Xin Yang and
Yu Jiang and
Han Liu and
Weiliang Ying and
Wanting Sun and
Ming Gu},
editor = {Frank Tip and
Eric Bodden},
title = {Managing concurrent testing of data race with ComRaDe},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {364--367},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229502},
doi = {10.1145/3213846.3229502},
timestamp = {Sat, 06 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GaoYJLYS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrechFFS18,
author = {Neville Grech and
George Fourtounis and
Adrian Francalanza and
Yannis Smaragdakis},
editor = {Frank Tip and
Eric Bodden},
title = {Shooting from the heap: ultra-scalable static analysis with heap snapshots},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {198--208},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213860},
doi = {10.1145/3213846.3213860},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GrechFFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuoR18,
author = {Hui Guo and
Cindy Rubio{-}Gonz{\'{a}}lez},
editor = {Frank Tip and
Eric Bodden},
title = {Exploiting community structure for floating-point precision tuning},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {333--343},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213862},
doi = {10.1145/3213846.3213862},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GuoR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JahangirovaCHT18,
author = {Gunel Jahangirova and
David Clark and
Mark Harman and
Paolo Tonella},
editor = {Frank Tip and
Eric Bodden},
title = {OASIs: oracle assessment and improvement tool},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {368--371},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229503},
doi = {10.1145/3213846.3229503},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JahangirovaCHT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiangXZGC18,
author = {Jiajun Jiang and
Yingfei Xiong and
Hongyu Zhang and
Qing Gao and
Xiangqun Chen},
editor = {Frank Tip and
Eric Bodden},
title = {Shaping program repair space with existing patches and similar code},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {298--309},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213871},
doi = {10.1145/3213846.3213871},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/JiangXZGC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JustPDE18,
author = {Ren{\'{e}} Just and
Chris Parnin and
Ian Drosos and
Michael D. Ernst},
editor = {Frank Tip and
Eric Bodden},
title = {Comparing developer-provided to user-provided tests for fault localization
and automated program repair},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {287--297},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213870},
doi = {10.1145/3213846.3213870},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JustPDE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KelloggDME18,
author = {Martin Kellogg and
Vlastimil Dort and
Suzanne Millstein and
Michael D. Ernst},
editor = {Frank Tip and
Eric Bodden},
title = {Lightweight verification of array indexing},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {3--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213849},
doi = {10.1145/3213846.3213849},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KelloggDME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KhazemBH18,
author = {Kareem Khazem and
Earl T. Barr and
Petr Hosek},
editor = {Frank Tip and
Eric Bodden},
title = {Making data-driven porting decisions with Tuscan},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {276--286},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213855},
doi = {10.1145/3213846.3213855},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KhazemBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KhurshidPV18,
author = {Sarfraz Khurshid and
Corina S. Pasareanu and
Willem Visser},
editor = {Frank Tip and
Eric Bodden},
title = {Test input generation with Java PathFinder: then and now (invited
talk abstract)},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {1--2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3234687},
doi = {10.1145/3213846.3234687},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KhurshidPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KrikavaV18,
author = {Filip Krikava and
Jan Vitek},
editor = {Frank Tip and
Eric Bodden},
title = {Tests from traces: automated unit test extraction for {R}},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {232--241},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213863},
doi = {10.1145/3213846.3213863},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/KrikavaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeL18,
author = {Tien{-}Duy B. Le and
David Lo},
editor = {Frank Tip and
Eric Bodden},
title = {Deep specification mining},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {106--117},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213876},
doi = {10.1145/3213846.3213876},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LeL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeeKBJT18,
author = {Jaekwon Lee and
Dongsun Kim and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Woosung Jung and
Yves Le Traon},
editor = {Frank Tip and
Eric Bodden},
title = {Bench4BL: reproducibility study on the performance of IR-based bug
localization},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {61--72},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213856},
doi = {10.1145/3213846.3213856},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LeeKBJT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LemieuxPSS18,
author = {Caroline Lemieux and
Rohan Padhye and
Koushik Sen and
Dawn Song},
editor = {Frank Tip and
Eric Bodden},
title = {PerfFuzz: automatically generating pathological inputs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {254--265},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213874},
doi = {10.1145/3213846.3213874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LemieuxPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LyuLH18,
author = {Yingjun Lyu and
Ding Li and
William G. J. Halfond},
editor = {Frank Tip and
Eric Bodden},
title = {Remove RATs from your code: automated optimization of resource inefficient
database writes for mobile applications},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {310--321},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213865},
doi = {10.1145/3213846.3213865},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LyuLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MadsenL18,
author = {Magnus Madsen and
Ondrej Lhot{\'{a}}k},
editor = {Frank Tip and
Eric Bodden},
title = {Safe and sound program analysis with Flix},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {38--48},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213847},
doi = {10.1145/3213846.3213847},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MadsenL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MuskeTS18,
author = {Tukaram Muske and
Rohith Talluri and
Alexander Serebrenik},
editor = {Frank Tip and
Eric Bodden},
title = {Repositioning of static analysis alarms},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {187--197},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213850},
doi = {10.1145/3213846.3213850},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MuskeTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NguyenND18,
author = {Vinh The Nguyen and
Akbar Siami Namin and
Tommy Dang},
editor = {Frank Tip and
Eric Bodden},
title = {MalViz: an interactive visualization tool for tracing malware},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {376--379},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229501},
doi = {10.1145/3213846.3229501},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/NguyenND18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NollerKP18,
author = {Yannic Noller and
Rody Kersten and
Corina S. Pasareanu},
editor = {Frank Tip and
Eric Bodden},
title = {Badger: complexity analysis with fuzzing and symbolic execution},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {322--332},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213868},
doi = {10.1145/3213846.3213868},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/NollerKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PalmskogCG18,
author = {Karl Palmskog and
Ahmet {\c{C}}elik and
Milos Gligoric},
editor = {Frank Tip and
Eric Bodden},
title = {piCoq: parallel regression proving for large-scale verification projects},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {344--355},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213877},
doi = {10.1145/3213846.3213877},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PalmskogCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/QiuWR18,
author = {Lina Qiu and
Yingying Wang and
Julia Rubin},
editor = {Frank Tip and
Eric Bodden},
title = {Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {176--186},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213873},
doi = {10.1145/3213846.3213873},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/QiuWR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Rodriguez-Baquero18,
author = {Diego Rodr{\'{\i}}guez{-}Baquero and
Mario Linares V{\'{a}}squez},
editor = {Frank Tip and
Eric Bodden},
title = {Mutode: generic JavaScript and Node.js mutation testing tool},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {372--375},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229504},
doi = {10.1145/3213846.3229504},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Rodriguez-Baquero18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShiGMZM18,
author = {August Shi and
Alex Gyori and
Suleman Mahmood and
Peiyuan Zhao and
Darko Marinov},
editor = {Frank Tip and
Eric Bodden},
title = {Evaluating test-suite reduction in real software evolution},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {84--94},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213875},
doi = {10.1145/3213846.3213875},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShiGMZM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShinNSBZ18,
author = {Seung Yeob Shin and
Shiva Nejati and
Mehrdad Sabetzadeh and
Lionel C. Briand and
Frank Zimmer},
editor = {Frank Tip and
Eric Bodden},
title = {Test case prioritization for acceptance testing of cyber physical
systems: a multi-objective search-based approach},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {49--60},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213852},
doi = {10.1145/3213846.3213852},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ShinNSBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/StrandbergOWSA18,
author = {Per Erik Strandberg and
Thomas J. Ostrand and
Elaine J. Weyuker and
Daniel Sundmark and
Wasif Afzal},
editor = {Frank Tip and
Eric Bodden},
title = {Automated test mapping and coverage for network topologies},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {73--83},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213859},
doi = {10.1145/3213846.3213859},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/StrandbergOWSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WuGS018,
author = {Meng Wu and
Shengjian Guo and
Patrick Schaumont and
Chao Wang},
editor = {Frank Tip and
Eric Bodden},
title = {Eliminating timing side-channel leaks using program repair},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {15--26},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213851},
doi = {10.1145/3213846.3213851},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WuGS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YanPLYZ18,
author = {Jiwei Yan and
Linjie Pan and
Yaqi Li and
Jun Yan and
Jian Zhang},
editor = {Frank Tip and
Eric Bodden},
title = {{LAND:} a user-friendly and customizable test generation tool for
Android apps},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {360--363},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3229500},
doi = {10.1145/3213846.3229500},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YanPLYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangCCXZ18,
author = {Yuhao Zhang and
Yifan Chen and
Shing{-}Chi Cheung and
Yingfei Xiong and
Lu Zhang},
editor = {Frank Tip and
Eric Bodden},
title = {An empirical study on TensorFlow program bugs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {129--140},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213866},
doi = {10.1145/3213846.3213866},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangCCXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2018,
editor = {Frank Tip and
Eric Bodden},
title = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3213846},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/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-27 18:01 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:
