Search dblp for Publications

export results for "toc:db/conf/icst/icst2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icst/AkramQL19,
  author       = {Junaid Akram and
                  Liang Qi and
                  Ping Luo},
  title        = {{VCIPR:} Vulnerable Code is Identifiable When a Patch is Released
                  (Hacker's Perspective)},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {402--413},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00049},
  doi          = {10.1109/ICST.2019.00049},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AkramQL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlameerCH19,
  author       = {Abdulmajeed Alameer and
                  Paul T. Chiou and
                  William G. J. Halfond},
  title        = {Efficiently Repairing Internationalization Presentation Failures by
                  Solving Layout Constraints},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {172--182},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00026},
  doi          = {10.1109/ICST.2019.00026},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/AlameerCH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AlthomaliKM19,
  author       = {Ibrahim Althomali and
                  Gregory M. Kapfhammer and
                  Phil McMinn},
  title        = {Automatic Visual Verification of Layout Failures in Responsively Designed
                  Web Pages},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {183--193},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00027},
  doi          = {10.1109/ICST.2019.00027},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/AlthomaliKM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaderCF19,
  author       = {Verena Bader and
                  Jos{\'{e}} Campos and
                  Gordon Fraser},
  title        = {Parallel Many-Objective Search for Unit Tests},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {37--47},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00014},
  doi          = {10.1109/ICST.2019.00014},
  timestamp    = {Tue, 26 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BaderCF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaloghHB19,
  author       = {Gerg{\"{o}} Balogh and
                  Ferenc Horv{\'{a}}th and
                  {\'{A}}rp{\'{a}}d Besz{\'{e}}des},
  title        = {Poster: Aiding Java Developers with Interactive Fault Localization
                  in Eclipse {IDE}},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {371--374},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00045},
  doi          = {10.1109/ICST.2019.00045},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/BaloghHB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BorgesZ19,
  author       = {Nataniel P. Borges Jr. and
                  Andreas Zeller},
  title        = {Why Does this App Need this Data? Automatic Tightening of Resource
                  Access},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {449--456},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00054},
  doi          = {10.1109/ICST.2019.00054},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/BorgesZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CoppikSS19,
  author       = {Nicolas Coppik and
                  Oliver Schwahn and
                  Neeraj Suri},
  title        = {MemFuzz: Using Memory Accesses to Guide Fuzzing},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {48--58},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00015},
  doi          = {10.1109/ICST.2019.00015},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/CoppikSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiniYGK19,
  author       = {Nima Dini and
                  Cagdas Yelen and
                  Milos Gligoric and
                  Sarfraz Khurshid},
  title        = {Extension-Aware Automated Testing Based on Imperative Predicates},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {25--36},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00013},
  doi          = {10.1109/ICST.2019.00013},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/DiniYGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FuMG19,
  author       = {Ben Fu and
                  Sasa Misailovic and
                  Milos Gligoric},
  title        = {Resurgence of Regression Test Selection for {C++}},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {323--334},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00039},
  doi          = {10.1109/ICST.2019.00039},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/FuMG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GyimesiVSMBF019,
  author       = {P{\'{e}}ter Gyimesi and
                  B{\'{e}}la Vancsics and
                  Andrea Stocco and
                  Davood Mazinanian and
                  {\'{A}}rp{\'{a}}d Besz{\'{e}}des and
                  Rudolf Ferenc and
                  Ali Mesbah},
  title        = {BugsJS: a Benchmark of JavaScript Bugs},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {90--101},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00019},
  doi          = {10.1109/ICST.2019.00019},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GyimesiVSMBF019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HaririSFMM19,
  author       = {Farah Hariri and
                  August Shi and
                  Vimuth Fernando and
                  Suleman Mahmood and
                  Darko Marinov},
  title        = {Comparing Mutation Testing at the Levels of Source Code and Compiler
                  Intermediate Representation},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {114--124},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00021},
  doi          = {10.1109/ICST.2019.00021},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/HaririSFMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HellhakeSW19,
  author       = {Dominik Hellhake and
                  Tobias Schmid and
                  Stefan Wagner},
  title        = {Using Data Flow-Based Coverage Criteria for Black-Box Integration
                  Testing of Distributed Software Systems},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {420--429},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00051},
  doi          = {10.1109/ICST.2019.00051},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/HellhakeSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/IwamaF19,
  author       = {Futoshi Iwama and
                  Takashi Fukuda},
  title        = {Automated Testing of Basic Recognition Capability for Speech Recognition
                  Systems},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {13--24},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00012},
  doi          = {10.1109/ICST.2019.00012},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/IwamaF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JebbarSKT19,
  author       = {Oussama Jebbar and
                  Mohamed Aymen Saied and
                  Ferhat Khendek and
                  Maria Toeroe},
  title        = {Poster: Re-Testing Configured Instances in the Production Environment
                  - {A} Method for Reducing the Test Suite},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {367--370},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00044},
  doi          = {10.1109/ICST.2019.00044},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/JebbarSKT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JendeleSCJR19,
  author       = {Luk{\'{a}}s Jendele and
                  Markus Schwenk and
                  Diana Cremarenco and
                  Ivan Janicijevic and
                  Mikhail Rybalkin},
  title        = {Efficient Automated Decomposition of Build Targets at Large-Scale},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {457--464},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00055},
  doi          = {10.1109/ICST.2019.00055},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/JendeleSCJR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JoffeC19,
  author       = {Leonid Joffe and
                  David Clark},
  title        = {Directing a Search Towards Execution Properties with a Learned Fitness
                  Function},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {206--216},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00029},
  doi          = {10.1109/ICST.2019.00029},
  timestamp    = {Thu, 29 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/JoffeC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Junior19,
  author       = {Luiz Cavamura J{\'{u}}nior},
  title        = {Operational Profile and Software Testing: Aligning User Interest and
                  Test Strategy},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {492--494},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00062},
  doi          = {10.1109/ICST.2019.00062},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Junior19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KahlesTHJ19,
  author       = {Julen Kahles and
                  Juha Torronen and
                  Timo Huuhtanen and
                  Alexander Jung},
  title        = {Automating Root Cause Analysis via Machine Learning in Agile Software
                  Testing Environments},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {379--390},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00047},
  doi          = {10.1109/ICST.2019.00047},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KahlesTHJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KhaireddineMM19,
  author       = {Besma Khaireddine and
                  Matias Martinez and
                  Ali Mili},
  title        = {Program Repair at Arbitrary Fault Depth},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {465--472},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00056},
  doi          = {10.1109/ICST.2019.00056},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KhaireddineMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KingRKWS19,
  author       = {Christian King and
                  Lennart Ries and
                  Christopher Kober and
                  Christoph Wohlfahrt and
                  Eric Sax},
  title        = {Automated Function Assessment in Driving Scenarios},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {414--419},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00050},
  doi          = {10.1109/ICST.2019.00050},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KingRKWS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KocWFCP19,
  author       = {Ugur Koc and
                  Shiyi Wei and
                  Jeffrey S. Foster and
                  Marine Carpuat and
                  Adam A. Porter},
  title        = {An Empirical Assessment of Machine Learning Approaches for Triaging
                  Reports of a Java Static Analysis Tool},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {288--299},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00036},
  doi          = {10.1109/ICST.2019.00036},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KocWFCP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KooS0B19,
  author       = {Jinkyu Koo and
                  Charitha Saumya and
                  Milind Kulkarni and
                  Saurabh Bagchi},
  title        = {PySE: Automatic Worst-Case Test Generation by Reinforcement Learning},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {136--147},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00023},
  doi          = {10.1109/ICST.2019.00023},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KooS0B19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LamOSM019,
  author       = {Wing Lam and
                  Reed Oei and
                  August Shi and
                  Darko Marinov and
                  Tao Xie},
  title        = {iDFlakies: {A} Framework for Detecting and Partially Classifying Flaky
                  Tests},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {312--322},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00038},
  doi          = {10.1109/ICST.2019.00038},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LamOSM019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LeeHYKKY19,
  author       = {Seongmin Lee and
                  Shin Hong and
                  Jungbae Yi and
                  Taeksu Kim and
                  Chul{-}Joo Kim and
                  Shin Yoo},
  title        = {Classifying False Positive Static Checker Alarms in Continuous Integration
                  Using Convolutional Neural Networks},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {391--401},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00048},
  doi          = {10.1109/ICST.2019.00048},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LeeHYKKY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LegunsenZHRM19,
  author       = {Owolabi Legunsen and
                  Yi Zhang and
                  Milica Hadzi{-}Tanovic and
                  Grigore Rosu and
                  Darko Marinov},
  title        = {Techniques for Evolution-Aware Runtime Verification},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {300--311},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00037},
  doi          = {10.1109/ICST.2019.00037},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LegunsenZHRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LidO19,
  author       = {Xiangyu Li and
                  Marcelo d'Amorim and
                  Alessandro Orso},
  title        = {Intent-Preserving Test Repair},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {217--227},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00030},
  doi          = {10.1109/ICST.2019.00030},
  timestamp    = {Wed, 28 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LidO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Lima19,
  author       = {Bruno Lima},
  title        = {Automated Scenario-Based Integration Testing of Time-Constrained Distributed
                  Systems},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {486--488},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00060},
  doi          = {10.1109/ICST.2019.00060},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Lima19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiuKB0KT19,
  author       = {Kui Liu and
                  Anil Koyuncu and
                  Tegawend{\'{e}} F. Bissyand{\'{e}} and
                  Dongsun Kim and
                  Jacques Klein and
                  Yves Le Traon},
  title        = {You Cannot Fix What You Cannot Find! An Investigation of Fault Localization
                  Bias in Benchmarking Automated Program Repair Systems},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {102--113},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00020},
  doi          = {10.1109/ICST.2019.00020},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LiuKB0KT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MaoCZ19,
  author       = {Dongyu Mao and
                  Lingchao Chen and
                  Lingming Zhang},
  title        = {An Extensive Study on Cross-Project Predictive Mutation Testing},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {160--171},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00025},
  doi          = {10.1109/ICST.2019.00025},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MaoCZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MonniPP19,
  author       = {Cristina Monni and
                  Mauro Pezz{\`{e}} and
                  Gaetano Prisco},
  title        = {An {RBM} Anomaly Detector for the Cloud},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {148--159},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00024},
  doi          = {10.1109/ICST.2019.00024},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/MonniPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MuscoYN19,
  author       = {Vincenzo Musco and
                  Xin Yin and
                  Iulian Neamtiu},
  title        = {SmokeOut: An Approach for Testing Clustering Implementations},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {473--480},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00057},
  doi          = {10.1109/ICST.2019.00057},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/MuscoYN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PaivaGB19,
  author       = {Ana C. R. Paiva and
                  Marco A. Gon{\c{c}}alves and
                  Andre R. Barros},
  title        = {Testing Android Incoming Calls},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {441--448},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00053},
  doi          = {10.1109/ICST.2019.00053},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/PaivaGB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PanarinBIZZMRGT19,
  author       = {Vladimir Panarin and
                  Alyona Bulda and
                  Iosif Itkin and
                  Alexey Zverev and
                  Kirill Zagorouiko and
                  Murad Mamedov and
                  Alyona Rybakova and
                  Anna Gromova and
                  Elena Treshcheva and
                  Sergey Tishin and
                  Rostislav Yavorskiy},
  title        = {Poster: ClearTH Test Automation Framework: {A} Running Example of
                  a DLT-Based Post-Trade System},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {358--362},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00042},
  doi          = {10.1109/ICST.2019.00042},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/PanarinBIZZMRGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatersonCAKFM19,
  author       = {David Paterson and
                  Jos{\'{e}} Campos and
                  Rui Abreu and
                  Gregory M. Kapfhammer and
                  Gordon Fraser and
                  Phil McMinn},
  title        = {An Empirical Study on the Use of Defect Prediction for Test Case Prioritization},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {346--357},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00041},
  doi          = {10.1109/ICST.2019.00041},
  timestamp    = {Mon, 04 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PatersonCAKFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PiantadosiSO19,
  author       = {Valentina Piantadosi and
                  Simone Scalabrino and
                  Rocco Oliveto},
  title        = {Fixing of Security Vulnerabilities in Open Source Projects: {A} Case
                  Study of Apache {HTTP} Server and Apache Tomcat},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {68--78},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00017},
  doi          = {10.1109/ICST.2019.00017},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PiantadosiSO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PlazarAPDC19,
  author       = {Quentin Plazar and
                  Mathieu Acher and
                  Gilles Perrouin and
                  Xavier Devroey and
                  Maxime Cordy},
  title        = {Uniform Sampling of {SAT} Solutions for Configurable Systems: Are
                  We There Yet?},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {240--251},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00032},
  doi          = {10.1109/ICST.2019.00032},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/PlazarAPDC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Radavelli19,
  author       = {Marco Radavelli},
  title        = {Using Testing to Repair Models},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {489--491},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00061},
  doi          = {10.1109/ICST.2019.00061},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Radavelli19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RwemalikaKPTL19,
  author       = {Renaud Rwemalika and
                  Marinos Kintis and
                  Mike Papadakis and
                  Yves Le Traon and
                  Pierre Lorrach},
  title        = {On the Evolution of Keyword-Driven Test Suites},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {335--345},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00040},
  doi          = {10.1109/ICST.2019.00040},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/RwemalikaKPTL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SaumyaK0B19,
  author       = {Charitha Saumya and
                  Jinkyu Koo and
                  Milind Kulkarni and
                  Saurabh Bagchi},
  title        = {{XSTRESSOR} : Automatic Generation of Large-Scale Worst-Case Test
                  Inputs by Inferring Path Conditions},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {1--12},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00011},
  doi          = {10.1109/ICST.2019.00011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/SaumyaK0B19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SharmaW19,
  author       = {Arnab Sharma and
                  Heike Wehrheim},
  title        = {Testing Machine Learning Algorithms for Balanced Data Usage},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {125--135},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00022},
  doi          = {10.1109/ICST.2019.00022},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/SharmaW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Sondhi19,
  author       = {Devika Sondhi},
  title        = {Testing for Implicit Inconsistencies in Documentation and Implementation},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {483--485},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00059},
  doi          = {10.1109/ICST.2019.00059},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Sondhi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SondhiRP19,
  author       = {Devika Sondhi and
                  Divya Rani and
                  Rahul Purandare},
  title        = {Similarities Across Libraries: Making a Case for Leveraging Test Suites},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {79--89},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00018},
  doi          = {10.1109/ICST.2019.00018},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SondhiRP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Tan19,
  author       = {Chao Tan},
  title        = {A Model-Based Approach to Generate Dynamic Synthetic Test Data},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {495--497},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00063},
  doi          = {10.1109/ICST.2019.00063},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Tan19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TannoI19,
  author       = {Haruto Tanno and
                  Hideya Iwasaki},
  title        = {Suspend-Less Debugging for Interactive and/or Realtime Programs},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {194--205},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00028},
  doi          = {10.1109/ICST.2019.00028},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/TannoI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TerragniPB19,
  author       = {Valerio Terragni and
                  Mauro Pezz{\`{e}} and
                  Francesco Adalberto Bianchi},
  title        = {Coverage-Driven Test Generation for Thread-Safe Classes via Parallel
                  and Conflict Dependencies},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {264--275},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00034},
  doi          = {10.1109/ICST.2019.00034},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/TerragniPB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VancsicsGSMBF019,
  author       = {B{\'{e}}la Vancsics and
                  P{\'{e}}ter Gyimesi and
                  Andrea Stocco and
                  Davood Mazinanian and
                  {\'{A}}rp{\'{a}}d Besz{\'{e}}des and
                  Rudolf Ferenc and
                  Ali Mesbah},
  title        = {Poster: Supporting JavaScript Experimentation with BugsJS},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {375--378},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00046},
  doi          = {10.1109/ICST.2019.00046},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/VancsicsGSMBF019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VuottoNPT19,
  author       = {Simone Vuotto and
                  Massimo Narizzano and
                  Luca Pulina and
                  Armando Tacchella},
  title        = {Poster: Automatic Consistency Checking of Requirements with ReqV},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {363--366},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00043},
  doi          = {10.1109/ICST.2019.00043},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/VuottoNPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangWZK19,
  author       = {Wenxi Wang and
                  Kaiyuan Wang and
                  Mengshi Zhang and
                  Sarfraz Khurshid},
  title        = {Learning to Optimize the Alloy Analyzer},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {228--239},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00031},
  doi          = {10.1109/ICST.2019.00031},
  timestamp    = {Tue, 11 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/WangWZK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Wei19,
  author       = {Xiaomin Wei},
  title        = {AADL-Based Safety Analysis Approaches for Safety-Critical Systems},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {481--482},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00058},
  doi          = {10.1109/ICST.2019.00058},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Wei19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WuLSCX19,
  author       = {Diyu Wu and
                  Jie Liu and
                  Yulei Sui and
                  Shiping Chen and
                  Jingling Xue},
  title        = {Precise Static Happens-Before Analysis for Detecting {UAF} Order Violations
                  in Android},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {276--287},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00035},
  doi          = {10.1109/ICST.2019.00035},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/WuLSCX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhangZHWZ19,
  author       = {Jie M. Zhang and
                  Lingming Zhang and
                  Dan Hao and
                  Meng Wang and
                  Lu Zhang},
  title        = {Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test
                  Effectiveness?},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {252--263},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00033},
  doi          = {10.1109/ICST.2019.00033},
  timestamp    = {Wed, 13 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ZhangZHWZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhaoLWSH19,
  author       = {Hui Zhao and
                  Zhihui Li and
                  Hansheng Wei and
                  Jianqi Shi and
                  Yanhong Huang},
  title        = {SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning
                  Perspective},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {59--67},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00016},
  doi          = {10.1109/ICST.2019.00016},
  timestamp    = {Fri, 03 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/ZhaoLWSH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhongZK19,
  author       = {Hua Zhong and
                  Lingming Zhang and
                  Sarfraz Khurshid},
  title        = {TestSage: Regression Test Selection for Large-Scale Web Service Testing},
  booktitle    = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  pages        = {430--440},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICST.2019.00052},
  doi          = {10.1109/ICST.2019.00052},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ZhongZK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2019,
  title        = {12th {IEEE} Conference on Software Testing, Validation and Verification,
                  {ICST} 2019, Xi'an, China, April 22-27, 2019},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8725538/proceeding},
  isbn         = {978-1-7281-1736-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics