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/icst/icst2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/icst/AichernigS17,
author = {Bernhard K. Aichernig and
Richard Schumi},
title = {Statistical Model Checking Meets Property-Based Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {390--400},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.42},
doi = {10.1109/ICST.2017.42},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AichernigS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Al-NayeemOPRZ17,
author = {Abdullah Al{-}Nayeem and
Krzysztof Ostrowski and
Sebastian Pueblas and
Christophe Restif and
Sai Zhang},
title = {Information Needs for Validating Evolving Software Systems: An Exploratory
Study at Google},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {544--545},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.64},
doi = {10.1109/ICST.2017.64},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Al-NayeemOPRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Al-Qahtani17,
author = {Sultan S. Al{-}Qahtani},
title = {Enhancing Trust - Software Vulnerability Analysis Framework},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {563--564},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.76},
doi = {10.1109/ICST.2017.76},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Al-Qahtani17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Al-QahtaniER17,
author = {Sultan S. Al{-}Qahtani and
Ellis E. Eghan and
Juergen Rilling},
title = {Recovering Semantic Traceability Links between APIs and Security Vulnerabilities:
An Ontological Modeling Approach},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {80--91},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.15},
doi = {10.1109/ICST.2017.15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Al-QahtaniER17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlagozHG17,
author = {Ibrahim Alag{\"{o}}z and
Thomas Herpel and
Reinhard German},
title = {A Selection Method for Black Box Regression Testing with a Statistically
Defined Quality Level},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {114--125},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.18},
doi = {10.1109/ICST.2017.18},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AlagozHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlegrothMVA17,
author = {Emil Al{\'{e}}groth and
Shinsuke Matsuki and
Tanja E. J. Vos and
Kinji Akemine},
title = {Overview of the {ICST} International Software Testing Contest},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {550--551},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.67},
doi = {10.1109/ICST.2017.67},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AlegrothMVA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArcainiGR17a,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
title = {NuSeen: {A} Tool Framework for the NuSMV Model Checker},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {476--483},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.54},
doi = {10.1109/ICST.2017.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArcainiGR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArcuriFJ17,
author = {Andrea Arcuri and
Gordon Fraser and
Ren{\'{e}} Just},
title = {Private {API} Access and Functional Mocking in Automated Unit Test
Generation},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {126--137},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.19},
doi = {10.1109/ICST.2017.19},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArcuriFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArmstrongKA17,
author = {Foundjem Armstrong and
Foutse Khomh and
Bram Adams},
title = {Broadcast vs. Unicast Review Technology: Does It Matter?},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {219--229},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.27},
doi = {10.1109/ICST.2017.27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ArmstrongKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArthoGRBMKHTY17,
author = {Cyrille Artho and
Quentin Gros and
Guillaume Rousset and
Kazuaki Banzai and
Lei Ma and
Takashi Kitamura and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Model-Based {API} Testing of Apache ZooKeeper},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {288--298},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.33},
doi = {10.1109/ICST.2017.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArthoGRBMKHTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChanWSPS17,
author = {Abraham Chan and
Stefan Winter and
Habib Saissi and
Karthik Pattabiraman and
Neeraj Suri},
title = {{IPA:} Error Propagation Analysis of Multi-Threaded Programs Using
Likely Invariants},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {184--195},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.24},
doi = {10.1109/ICST.2017.24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ChanWSPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Chekam17,
author = {Thierry Titcheu Chekam},
title = {Automated and Scalable Mutation Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {559--560},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.74},
doi = {10.1109/ICST.2017.74},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Chekam17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChenBHZZX17,
author = {Junjie Chen and
Yanwei Bai and
Dan Hao and
Lingming Zhang and
Lu Zhang and
Bing Xie},
title = {How Do Assertions Impact Coverage-Based Test-Suite Reduction?},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {418--423},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.45},
doi = {10.1109/ICST.2017.45},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChenBHZZX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChengT17,
author = {Zheng Cheng and
Massimo Tisi},
title = {Incremental Deductive Verification for Relational Model Transformations},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {379--389},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.41},
doi = {10.1109/ICST.2017.41},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ChengT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ConverseOK17,
author = {Hayes Converse and
Oswaldo Olivo and
Sarfraz Khurshid},
title = {Non-Semantics-Preserving Transformations for Higher-Coverage Test
Generation Using Symbolic Execution},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {241--252},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.29},
doi = {10.1109/ICST.2017.29},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ConverseOK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DarkeCCV17,
author = {Priyanka Darke and
Bharti Chimdyalwar and
Avriti Chauhan and
R. Venkatesh},
title = {Efficient Safety Proofs for Industry-Scale Code Using Abstractions
and Bounded Model Checking},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {468--475},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.53},
doi = {10.1109/ICST.2017.53},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DarkeCCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DarwishGT17,
author = {Rashid Darwish and
Lynnie Nakyanzi Gwosuta and
Richard Torkar},
title = {A Controlled Experiment on Coverage Maximization of Automated Model-Based
Software Test Cases in the Automotive Industry},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {546--547},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.65},
doi = {10.1109/ICST.2017.65},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DarwishGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DevroeyPPLSH17,
author = {Xavier Devroey and
Gilles Perrouin and
Mike Papadakis and
Axel Legay and
Pierre{-}Yves Schobbens and
Patrick Heymans},
title = {Automata Language Equivalence vs. Simulations for Model-Based Mutant
Equivalence: An Empirical Evaluation},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {424--429},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.46},
doi = {10.1109/ICST.2017.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DevroeyPPLSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasFFLSSV17,
author = {Ricardo J. Dias and
Carla Ferreira and
Jan Fiedor and
Jo{\~{a}}o M. Louren{\c{c}}o and
Ales Smrcka and
Diogo G. Sousa and
Tom{\'{a}}s Vojnar},
title = {Verifying Concurrent Programs Using Contracts},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {196--206},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.25},
doi = {10.1109/ICST.2017.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiasFFLSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DwarakanathEPDP17,
author = {Anurag Dwarakanath and
Dipin Era and
Aditya Priyadarshi and
Neville Dubash and
Sanjay Podder},
title = {Accelerating Test Automation through a Domain Specific Language},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {460--467},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.52},
doi = {10.1109/ICST.2017.52},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DwarakanathEPDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EnoiuSCP17,
author = {Eduard Paul Enoiu and
Daniel Sundmark and
Adnan Causevic and
Paul Pettersson},
title = {A Comparative Study of Manual and Automated Testing for Industrial
Control Software},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {412--417},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.44},
doi = {10.1109/ICST.2017.44},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/EnoiuSCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Fard017,
author = {Amin Milani Fard and
Ali Mesbah},
title = {JavaScript: The (Un)Covered Parts},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {230--240},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.28},
doi = {10.1109/ICST.2017.28},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Fard017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FazziniFCO17,
author = {Mattia Fazzini and
Eduardo Noronha de Andrade Freitas and
Shauvik Roy Choudhary and
Alessandro Orso},
title = {Barista: {A} Technique for Recording, Encoding, and Running Platform
Independent Android Tests},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {149--160},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.21},
doi = {10.1109/ICST.2017.21},
timestamp = {Sat, 26 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FazziniFCO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FlemstromGK17,
author = {Daniel Flemstr{\"{o}}m and
Thomas Gustafsson and
Avenir Kobetski},
title = {{SAGA} Toolbox: Interactive Testing of Guarded Assertions},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {516--523},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.59},
doi = {10.1109/ICST.2017.59},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FlemstromGK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FowlerCSB17,
author = {Daniel S. Fowler and
Madeline Cheah and
Siraj Ahmed Shaikh and
Jeremy W. Bryans},
title = {Towards a Testbed for Automotive Cybersecurity},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {540--541},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.62},
doi = {10.1109/ICST.2017.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FowlerCSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GambiGZ17,
author = {Alessio Gambi and
Alessandra Gorla and
Andreas Zeller},
title = {O!Snap: Cost-Efficient Testing in the Cloud},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {454--459},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.51},
doi = {10.1109/ICST.2017.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GambiGZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Gay17,
author = {Gregory Gay},
title = {The Fitness Function for the Job: Search-Based Generation of Test
Suites That Detect Real Faults},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {345--355},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.38},
doi = {10.1109/ICST.2017.38},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Gay17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Golagha17,
author = {Mojdeh Golagha},
title = {A Framework for Failure Diagnosis},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {561--562},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.75},
doi = {10.1109/ICST.2017.75},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Golagha17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GopinathJG17,
author = {Rahul Gopinath and
Carlos Jensen and
Alex Groce},
title = {The Theory of Composite Faults},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {47--57},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.12},
doi = {10.1109/ICST.2017.12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GopinathJG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Guo17,
author = {Yun Guo},
title = {Localizing and Fixing Faults in {SQL} Predicates},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {555--556},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.72},
doi = {10.1109/ICST.2017.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Guo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GuoML17,
author = {Yun Guo and
Amihai Motro and
Nan Li},
title = {Localizing Faults in {SQL} Predicates},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.8},
doi = {10.1109/ICST.2017.8},
timestamp = {Thu, 19 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GuoML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Gyori0PM17,
author = {Alex Gyori and
Pranav Garg and
Edgar Pek and
P. Madhusudan},
title = {Efficient Incrementalized Runtime Checking of Linear Measures on Lists},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {310--320},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.35},
doi = {10.1109/ICST.2017.35},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Gyori0PM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HollandSK17,
author = {Benjamin Holland and
Ganesh Ram Santhanam and
Suresh C. Kothari},
title = {Transferring State-of-the-Art Immutability Analyses: Experimentation
Toolbox and Accuracy Benchmark},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {484--491},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.55},
doi = {10.1109/ICST.2017.55},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/HollandSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JanNAB17,
author = {Sadeeq Jan and
Cu D. Nguyen and
Andrea Arcuri and
Lionel C. Briand},
title = {A Search-Based Testing Approach for {XML} Injection Vulnerabilities
in Web Applications},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {356--366},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.39},
doi = {10.1109/ICST.2017.39},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JanNAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JeongLKKH17,
author = {Eunjin Jeong and
Namgoo Lee and
Jinhan Kim and
Duseok Kang and
Soonhoi Ha},
title = {{FIFA:} {A} Kernel-Level Fault Injection Framework for ARM-Based Embedded
Linux System},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.10},
doi = {10.1109/ICST.2017.10},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JeongLKKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KleineS17,
author = {Kristoffer Kleine and
Dimitris E. Simos},
title = {Coveringcerts: Combinatorial Methods for {X.509} Certificate Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {69--79},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.14},
doi = {10.1109/ICST.2017.14},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KleineS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LaurentPKHTV17,
author = {Thomas Laurent and
Mike Papadakis and
Marinos Kintis and
Christopher Henard and
Yves Le Traon and
Anthony Ventresque},
title = {Assessing and Improving the Mutation Testing Practice of {PIT}},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {430--435},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.47},
doi = {10.1109/ICST.2017.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LaurentPKHTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiCWH0WL17,
author = {Xiao Li and
Nana Chang and
Yan Wang and
Haohua Huang and
Yu Pei and
Linzhang Wang and
Xuandong Li},
title = {{ATOM:} Automatic Maintenance of {GUI} Test Scripts for Evolving Mobile
Applications},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {161--171},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.22},
doi = {10.1109/ICST.2017.22},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LiCWH0WL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LinWC17,
author = {Jun{-}Wei Lin and
Farn Wang and
Paul Chu},
title = {Using Semantic Similarity in Crawling-Based Web Application Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {138--148},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.20},
doi = {10.1109/ICST.2017.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LinWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LuckowKP17,
author = {Kasper S{\o}e Luckow and
Rody Kersten and
Corina S. Pasareanu},
title = {Symbolic Complexity Analysis Using Context-Preserving Histories},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {58--68},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.13},
doi = {10.1109/ICST.2017.13},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LuckowKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarcozziBDKP17,
author = {Micha{\"{e}}l Marcozzi and
S{\'{e}}bastien Bardin and
Micka{\"{e}}l Delahaye and
Nikolai Kosmatov and
Virgile Prevosto},
title = {Taming Coverage Criteria Heterogeneity with LTest},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {500--507},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.57},
doi = {10.1109/ICST.2017.57},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MarcozziBDKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarcozziDBKP17,
author = {Micha{\"{e}}l Marcozzi and
Micka{\"{e}}l Delahaye and
S{\'{e}}bastien Bardin and
Nikolai Kosmatov and
Virgile Prevosto},
title = {Generic and Effective Specification of Structural Test Objectives},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {436--441},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.48},
doi = {10.1109/ICST.2017.48},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MarcozziDBKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarijanLGSI17,
author = {Dusica Marijan and
Marius Liaaen and
Arnaud Gotlieb and
Sagar Sen and
Carlo Ieva},
title = {{TITAN:} Test Suite Optimization for Highly Configurable Software},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {524--531},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.60},
doi = {10.1109/ICST.2017.60},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MarijanLGSI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MilewiczP17,
author = {Reed Milewicz and
Peter Pirkelbauer},
title = {Ariadne: Hybridizing Directed Model Checking and Static Analysis},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {442--447},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.49},
doi = {10.1109/ICST.2017.49},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MilewiczP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/OliveiraFDHS17,
author = {Augusto Born de Oliveira and
Sebastian Fischmeister and
Amer Diwan and
Matthias Hauswirth and
Peter F. Sweeney},
title = {Perphecy: Performance Regression Test Selection Made Simple but Effective},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {103--113},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.17},
doi = {10.1109/ICST.2017.17},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/OliveiraFDHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PastoreMM17,
author = {Fabrizio Pastore and
Daniela Micucci and
Leonardo Mariani},
title = {Timed k-Tail: Automatic Inference of Timed Automata},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {401--411},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.43},
doi = {10.1109/ICST.2017.43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PastoreMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatrickDG17,
author = {Matthew Patrick and
Ruairi Donnelly and
Christopher A. Gilligan},
title = {A Toolkit for Testing Stochastic Simulations against Statistical Oracles},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {448--453},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.50},
doi = {10.1109/ICST.2017.50},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PatrickDG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PerezAd17,
author = {Alexandre Perez and
Rui Abreu and
Marcelo d'Amorim},
title = {Prevalence of Single-Fault Fixes and Its Impact on Fault Localization},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {12--22},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.9},
doi = {10.1109/ICST.2017.9},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PerezAd17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PouldingF17a,
author = {Simon M. Poulding and
Robert Feldt},
title = {Automated Random Testing in Multiple Dispatch Languages},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {333--344},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.37},
doi = {10.1109/ICST.2017.37},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PouldingF17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PradhanWAYL17,
author = {Dipesh Pradhan and
Shuai Wang and
Shaukat Ali and
Tao Yue and
Marius Liaaen},
title = {{CBGA-ES:} {A} Cluster-Based Genetic Algorithm with Elitist Selection
for Supporting Multi-Objective Test Optimization},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {367--378},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.40},
doi = {10.1109/ICST.2017.40},
timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PradhanWAYL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RamlerH17,
author = {Rudolf Ramler and
Robert Hoschek},
title = {How to Test in Sixteen Languages? Automation Support for Localization
Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {542--543},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.63},
doi = {10.1109/ICST.2017.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RamlerH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SullivanWZK17,
author = {Allison Sullivan and
Kaiyuan Wang and
Razieh Nokhbeh Zaeem and
Sarfraz Khurshid},
title = {Automated Test Generation and Mutation Testing for Alloy},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {264--275},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.31},
doi = {10.1109/ICST.2017.31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SullivanWZK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SunRJB17,
author = {Haiyang Sun and
Andrea Ros{\`{a}} and
Omar Javed and
Walter Binder},
title = {{ADRENALIN-RV:} Android Runtime Verification Using Load-Time Weaving},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {532--539},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.61},
doi = {10.1109/ICST.2017.61},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SunRJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TangCZGXHBM17,
author = {Junjie Tang and
Xingmin Cui and
Ziming Zhao and
Shanqing Guo and
Xin{-}Shun Xu and
Chengyu Hu and
Tao Ban and
Bing Mao},
title = {NIVAnalyzer: {A} Tool for Automatically Detecting and Verifying Next-Intent
Vulnerabilities in Android Apps},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {492--499},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.56},
doi = {10.1109/ICST.2017.56},
timestamp = {Wed, 08 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TangCZGXHBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TapplerAB17,
author = {Martin Tappler and
Bernhard K. Aichernig and
Roderick Bloem},
title = {Model-Based Testing IoT Communication via Active Automata Learning},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {276--287},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.32},
doi = {10.1109/ICST.2017.32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TapplerAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Trautsch17,
author = {Fabian Trautsch},
title = {Reflecting the Adoption of Software Testing Research in Open-Source
Projects},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {565--566},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.77},
doi = {10.1109/ICST.2017.77},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Trautsch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TrautschG17,
author = {Fabian Trautsch and
Jens Grabowski},
title = {Are There Any Unit Tests? An Empirical Study on Unit Testing in Open
Source Python Projects},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {207--218},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.26},
doi = {10.1109/ICST.2017.26},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TrautschG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/UkaiQ17,
author = {Hiroshi Ukai and
Xiao Qu},
title = {Test Design as Code: JCUnit},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {508--515},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.58},
doi = {10.1109/ICST.2017.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/UkaiQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WalkinshawF17,
author = {Neil Walkinshaw and
Gordon Fraser},
title = {Uncertainty-Driven Black-Box Test Data Generation},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {253--263},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.30},
doi = {10.1109/ICST.2017.30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WalkinshawF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WanLXCL17,
author = {Zhiyuan Wan and
David Lo and
Xin Xia and
Liang Cai and
Shanping Li},
title = {Mining Sandboxes for Linux Containers},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {92--102},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.16},
doi = {10.1109/ICST.2017.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WanLXCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangBO17,
author = {Qianqian Wang and
Yuriy Brun and
Alessandro Orso},
title = {Behavioral Execution Comparison: Are Tests Representative of Field
Behavior?},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {321--332},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.36},
doi = {10.1109/ICST.2017.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WangBO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangPB17,
author = {Chunhui Wang and
Fabrizio Pastore and
Lionel C. Briand},
title = {System Testing of Timing Requirements Based on Use Cases and Timed
Automata},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {299--309},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.34},
doi = {10.1109/ICST.2017.34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WangPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/XuLC17,
author = {Jing Xu and
Yu Lei and
Richard H. Carver},
title = {Using Delta Debugging to Minimize Stress Tests for Concurrent Data
Structures},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {35--46},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.11},
doi = {10.1109/ICST.2017.11},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/XuLC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Yanase17,
author = {Ryo Yanase},
title = {Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear
Hybrid Automata},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {567--568},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.78},
doi = {10.1109/ICST.2017.78},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Yanase17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YangHHLC17,
author = {Yilin Yang and
Xinhai Huang and
Xuefei Hao and
Zicong Liu and
Zhenyu Chen},
title = {An Industrial Study of Natural Language Processing Based Test Case
Prioritization},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {548--549},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.66},
doi = {10.1109/ICST.2017.66},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YangHHLC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Zhang17,
author = {Xiaodong Zhang},
title = {Debugging Multithreaded Programs Using Symbolic Analysis},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {557--558},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2017.73},
doi = {10.1109/ICST.2017.73},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Zhang17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhangYZLCHL17,
author = {Xiaodong Zhang and
Zijiang Yang and
Qinghua Zheng and
Pei Liu and
Jialiang Chang and
Yu Hao and
Ting Liu},
title = {Automated Testing of Definition-Use Data Flow for Multithreaded Programs},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {172--183},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.23},
doi = {10.1109/ICST.2017.23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZhangYZLCHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2017,
title = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/7922464/proceeding},
isbn = {978-1-5090-6031-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/2017.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-15 02:10 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:
