default search action
Search dblp for Publications
export results for "toc:db/conf/icst/icst2019.bht:"
@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} }
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.