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/icstw2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/icst/0003WV20,
author = {Thomas Laurent and
Fionnuala Wall and
Anthony Ventresque},
title = {On the impact of timeouts and {JVM} crashes in Pitest},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {247--253},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00050},
doi = {10.1109/ICSTW50294.2020.00050},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/0003WV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AbbasRSES20,
author = {Muhammad Abbas and
Abdul Rauf and
Mehrdad Saadatmand and
Eduard Paul Enoiu and
Daniel Sundmark},
title = {Keywords-based test categorization for Extra-Functional Properties},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {153--156},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00035},
doi = {10.1109/ICSTW50294.2020.00035},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AbbasRSES20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AhmedGB20,
author = {Bestoun S. Ahmed and
Angelo Gargantini and
Miroslav Bures},
title = {An Automated Testing Framework For Smart {TV} apps Based on Model
Separation},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {62--73},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00026},
doi = {10.1109/ICSTW50294.2020.00026},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AhmedGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Al-SabbaghSOHM20,
author = {Khaled Walid Al{-}Sabbagh and
Miroslaw Staron and
Miroslaw Ochodek and
Regina Hebig and
Wilhelm Meding},
title = {Selective Regression Testing based on Big Data: Comparing Feature
Extraction Techniques},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {322--329},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00058},
doi = {10.1109/ICSTW50294.2020.00058},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Al-SabbaghSOHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AraujoM020,
author = {Francisco Ara{\'{u}}jo and
Ib{\'{e}}ria Medeiros and
Nuno Neves},
title = {Generating Tests for the Discovery of Security Flaws in Product Variants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {133--142},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00033},
doi = {10.1109/ICSTW50294.2020.00033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AraujoM020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArcainiMRS20,
author = {Paolo Arcaini and
Raffaela Mirandola and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Model-Based Testing for {MAPE-K} adaptation control loops},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {43--51},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00024},
doi = {10.1109/ICSTW50294.2020.00024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ArcainiMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Arcuri20,
author = {Andrea Arcuri},
title = {Teaching Software Testing in an Algorithms and Data Structures Course},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {419--424},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00075},
doi = {10.1109/ICSTW50294.2020.00075},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Arcuri20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArrietaAS20,
author = {Aitor Arrieta and
Joseba Andoni Agirre and
Goiuria Sagardui},
title = {A Tool for the Automatic Generation of Test Cases and Oracles for
Simulation Models Based on Functional Requirements},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00018},
doi = {10.1109/ICSTW50294.2020.00018},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ArrietaAS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AuerF20,
author = {Thomas Auer and
Michael Felderer},
title = {Towards a Learning Environment for Internet of Things Testing with
LEGO{\textregistered} MINDSTORMS{\textregistered}},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {457--460},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00081},
doi = {10.1109/ICSTW50294.2020.00081},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AuerF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BachiegaSBS20,
author = {Naylor G. Bachiega and
Paulo Sergio Lopes de Souza and
Sarita Mazzini Bruschi and
Simone do R{\'{o}}cio Senger de Souza},
title = {Performance Evaluation of Container's Shared Volumes},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {114--123},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00031},
doi = {10.1109/ICSTW50294.2020.00031},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BachiegaSBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaerOP20,
author = {Michael Baer and
Norbert Oster and
Michael Philippsen},
title = {MutantDistiller: Using Symbolic Execution for Automatic Detection
of Equivalent Mutants and Generation of Mutant Killing Tests},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {294--303},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00055},
doi = {10.1109/ICSTW50294.2020.00055},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/BaerOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaralA20,
author = {Kesina Baral and
Paul Ammann},
title = {Teaching a Testing Concept (JUnit) with Active Learning},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {411},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00073},
doi = {10.1109/ICSTW50294.2020.00073},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/BaralA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BombardaG20,
author = {Andrea Bombarda and
Angelo Gargantini},
title = {An Automata-Based Generation Method for Combinatorial Sequence Testing
of Finite State Machines},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {157--166},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00036},
doi = {10.1109/ICSTW50294.2020.00036},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/BombardaG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BradburyKSS20,
author = {Jeremy S. Bradbury and
Peter M. Kruse and
Mehrdad Saadatmand and
Holger Schlingloff},
title = {ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {xxvii},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00017},
doi = {10.1109/ICSTW50294.2020.00017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/BradburyKSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CannyPN20,
author = {Alexandre Canny and
Philippe A. Palanque and
David Navarre},
title = {Model-Based Testing of {GUI} Applications Featuring Dynamic Instanciation
of Widgets},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {95--104},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00029},
doi = {10.1109/ICSTW50294.2020.00029},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/CannyPN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CeginR20,
author = {J{\'{a}}n Cegin and
Karol R{\'{a}}stocn{\'{y}}},
title = {Test Data Generation for {MC/DC} Criterion using Reinforcement Learning},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {354--357},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00063},
doi = {10.1109/ICSTW50294.2020.00063},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/CeginR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChetouaneWFN20,
author = {Nour Chetouane and
Franz Wotawa and
Hermann Felbinger and
Mihai Nica},
title = {On Using k-means Clustering for Test Suite Reduction},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {380--385},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00068},
doi = {10.1109/ICSTW50294.2020.00068},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ChetouaneWFN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CoppolaATA20,
author = {Riccardo Coppola and
Luca Ardito and
Marco Torchiano and
Emil Al{\'{e}}groth},
title = {Translation from Visual to Layout-based Android Test Cases: a Proof
of Concept},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {74--83},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00027},
doi = {10.1109/ICSTW50294.2020.00027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CoppolaATA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CretinVCPL20,
author = {Aymeric Cretin and
Alexandre Vernotte and
Antoine Chevrot and
Fabien Peureux and
Bruno Legeard},
title = {Test Data Generation for False Data Injection Attack Testing in Air
Traffic Surveillance},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {143--152},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00034},
doi = {10.1109/ICSTW50294.2020.00034},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/CretinVCPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DadeauGP20,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Jean{-}Philippe Gros and
Fabien Peureux},
title = {A Case-based Approach for introducing Testing Tools and Principles},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {429--436},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00077},
doi = {10.1109/ICSTW50294.2020.00077},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DadeauGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DemeyerCWP20,
author = {Serge Demeyer and
Adnan Causevic and
Kristian Wiklund and
Pasqualina Potena},
title = {The Next Level of Test Automation {(NEXTA} 2020)},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {xxii},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00013},
doi = {10.1109/ICSTW50294.2020.00013},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DemeyerCWP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DengDC20,
author = {Lin Deng and
Josh Dehlinger and
Suranjan Chakraborty},
title = {Teaching Software Testing with Free and Open Source Software},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {412--418},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00074},
doi = {10.1109/ICSTW50294.2020.00074},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DengDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DirimS20,
author = {Sahin Dirim and
Hasan S{\"{o}}zer},
title = {Prioritization of Test Cases with Varying Test Costs and Fault Severities
for Certification Testing},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {386--391},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00069},
doi = {10.1109/ICSTW50294.2020.00069},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DirimS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DobslawNF20,
author = {Felix Dobslaw and
Francisco Gomes de Oliveira Neto and
Robert Feldt},
title = {Boundary Value Exploration for Software Analysis},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {346--353},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00062},
doi = {10.1109/ICSTW50294.2020.00062},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/DobslawNF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Duque-TorresDPR20,
author = {Alejandra Duque{-}Torres and
Natia Doliashvili and
Dietmar Pfahl and
Rudolf Ramler},
title = {Predicting Survived and Killed Mutants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {274--283},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00053},
doi = {10.1109/ICSTW50294.2020.00053},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Duque-TorresDPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Eldh20,
author = {Sigrid Eldh},
title = {Test Automation Improvement Model - {TAIM} 2.0},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {334--337},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00060},
doi = {10.1109/ICSTW50294.2020.00060},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Eldh20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ElodieAL20,
author = {{\'{E}}lodie Bernard and
Fabrice Ambert and
Bruno Legeard},
title = {Supporting efficient test automation using lightweight {MBT}},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {84--94},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00028},
doi = {10.1109/ICSTW50294.2020.00028},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ElodieAL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EvansPMH20,
author = {Isabel Evans and
Chris Porter and
Mark Micallef and
Julian Harty},
title = {Test Tools: an illusion of usability?},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {392--397},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00070},
doi = {10.1109/ICSTW50294.2020.00070},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/EvansPMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FidalgoMA020,
author = {Ana Fidalgo and
Ib{\'{e}}ria Medeiros and
Paulo Antunes and
Nuno Neves},
title = {Towards a Deep Learning Model for Vulnerability Detection on Web Application
Variants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {465--476},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00083},
doi = {10.1109/ICSTW50294.2020.00083},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FidalgoMA020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FogenL20,
author = {Konrad F{\"{o}}gen and
Horst Lichter},
title = {Generation of Invalid Test Inputs from Over-Constrained Test Models
for Combinatorial Robustness Testing},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {171--180},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00038},
doi = {10.1109/ICSTW50294.2020.00038},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FogenL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserGR20,
author = {Gordon Fraser and
Alessio Gambi and
Jos{\'{e}} Miguel Rojas},
title = {Teaching Software Testing with the Code Defenders Testing Game: Experiences
and Improvements},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {461--464},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00082},
doi = {10.1109/ICSTW50294.2020.00082},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FraserGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FriedrichsFL20,
author = {Torben Friedrichs and
Konrad F{\"{o}}gen and
Horst Lichter},
title = {A Comparison Infrastructure for Fault Characterization Algorithms},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {201--210},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00042},
doi = {10.1109/ICSTW50294.2020.00042},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FriedrichsFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GerlichP20,
author = {Ralf Gerlich and
Christian R. Prause},
title = {Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing
and Test Data Generation},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {338--345},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00061},
doi = {10.1109/ICSTW50294.2020.00061},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GerlichP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Harty20,
author = {Julian Harty},
title = {Fast Abstract: Data Dynamics for Testing Systems},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {491--492},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.9374728},
doi = {10.1109/ICSTW50294.2020.9374728},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Harty20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Harty20a,
author = {Julian Harty},
title = {How Can Software Testing be Improved by Analytics to Deliver Better
Apps?},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {408--410},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00072},
doi = {10.1109/ICSTW50294.2020.00072},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Harty20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HeckmanSK20,
author = {Sarah Heckman and
Jessica Young Schmidt and
Jason King},
title = {Integrating Testing Throughout the {CS} Curriculum},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {441--444},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00079},
doi = {10.1109/ICSTW50294.2020.00079},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/HeckmanSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HendersonMN20,
author = {Tim A. D. Henderson and
John Micco and
Bao N. Nguyen},
title = {{ICST} 2020 {CI/CD} Industry Workshop Program},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {xiv},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00006},
doi = {10.1109/ICSTW50294.2020.00006},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/HendersonMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JebbarSKT20,
author = {Oussama Jebbar and
Mohamed Aymen Saied and
Ferhat Khendek and
Maria Toeroe},
title = {Regression Test Suite Reduction for Cloud Systems},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {477--486},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00084},
doi = {10.1109/ICSTW50294.2020.00084},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JebbarSKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JonH20,
author = {Jon D. Hagar and
Laura Hagar},
title = {Identifying Software Test Architect Skills and Knowledge},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {213--215},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00044},
doi = {10.1109/ICSTW50294.2020.00044},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JonH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JungK20,
author = {Barbara Jung and
Peter M. Kruse},
title = {Runtime Prioritization with the Classification Tree Method for Test
Automation},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {376--379},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00067},
doi = {10.1109/ICSTW50294.2020.00067},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/JungK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JuniorDDSVD20,
author = {Claudinei Brito Junior and
Vinicius H. S. Durelli and
Rafael Serapilha Durelli and
Simone R. S. Souza and
Auri M. R. Vincenzi and
M{\'{a}}rcio Eduardo Delamaro},
title = {A Preliminary Investigation into Using Machine Learning Algorithms
to Identify Minimal and Equivalent Mutants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {304--313},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00056},
doi = {10.1109/ICSTW50294.2020.00056},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JuniorDDSVD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Kherrazi20,
author = {Rachid Kherrazi},
title = {Using tabular notation to support model based testing: {A} practical
experience using STTSpec and Spec Explorer},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {18--23},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00021},
doi = {10.1109/ICSTW50294.2020.00021},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Kherrazi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KuhnKLS20,
author = {D. Richard Kuhn and
Raghu N. Kacker and
Yu Lei and
Dimitris E. Simos},
title = {Combinatorial Methods for Explainable {AI}},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {167--170},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00037},
doi = {10.1109/ICSTW50294.2020.00037},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KuhnKLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Lambers0W20,
author = {Leen Lambers and
Sven Schneider and
Marcel Weisgut},
title = {Model-Based Testing of Read Only Graph Queries},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {24--34},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00022},
doi = {10.1109/ICSTW50294.2020.00022},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Lambers0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Lambers20,
author = {Leen Lambers},
title = {How to Teach Software Testing? Experiences with a Sandwich Approach},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {425--428},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00076},
doi = {10.1109/ICSTW50294.2020.00076},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Lambers20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LiW20,
author = {Yihao Li and
Franz Wotawa},
title = {On Using Ontologies for Testing Compilers},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {181--184},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00039},
doi = {10.1109/ICSTW50294.2020.00039},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LiW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MahmoodFNS20,
author = {Shahid Mahmood and
Alexy Fouillade and
Hoang Nga Nguyen and
Siraj A. Shaikh},
title = {A Model-Based Security Testing Approach for Automotive Over-The-Air
Updates},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {6--13},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00019},
doi = {10.1109/ICSTW50294.2020.00019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MahmoodFNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MasudaNS20,
author = {Satoshi Masuda and
Yasuharu Nishi and
Kazuhiro Suzuki},
title = {Complex Software Testing Analysis using International Standards},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {241--246},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00049},
doi = {10.1109/ICSTW50294.2020.00049},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MasudaNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MizoguchiII20,
author = {Masashi Mizoguchi and
Takahiro Iida and
Toru Irie},
title = {Optimization of automated executions based on integration test configurations
of embedded software},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {358--363},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00064},
doi = {10.1109/ICSTW50294.2020.00064},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/MizoguchiII20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NassAF20,
author = {Michel Nass and
Emil Al{\'{e}}groth and
Robert Feldt},
title = {On the Industrial Applicability of Augmented Testing: An Empirical
Study},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {364--371},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00065},
doi = {10.1109/ICSTW50294.2020.00065},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NassAF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NayakK20,
author = {Varun Nayak and
Daniel Kraus},
title = {Session-Based Recommender Systems for Action Selection in {GUI} Test
Generation},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {372--375},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00066},
doi = {10.1109/ICSTW50294.2020.00066},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NayakK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NetoDF20,
author = {Francisco Gomes de Oliveira Neto and
Felix Dobslaw and
Robert Feldt},
title = {Using mutation testing to measure behavioural test diversity},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {254--263},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00051},
doi = {10.1109/ICSTW50294.2020.00051},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NetoDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NishinoKKA20,
author = {Kohei Nishino and
Takashi Kitamura and
Tomoji Kishi and
Cyrille Artho},
title = {Toward an Encoding Approach to Interaction-based Test Suite Minimization},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {211--212},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00043},
doi = {10.1109/ICSTW50294.2020.00043},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NishinoKKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NjorLSP20,
author = {Emil J. Njor and
Florian Lorber and
Nikolaj I. Schmidt and
Sebastian R. Petersen},
title = {Conformance Testing in {UPPAAL:} {A} diabolic approach},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {35--42},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00023},
doi = {10.1109/ICSTW50294.2020.00023},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NjorLSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/OdanBIIS20,
author = {Tomohiro Odan and
Shizuka Ban and
Hiroki Iseri and
Kumiko Iseri and
Akiharu Satoh},
title = {Techniques to Have a Common Understanding of Test Aspects among Test
Team Members},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {232--236},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00047},
doi = {10.1109/ICSTW50294.2020.00047},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/OdanBIIS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PaduraruPS20,
author = {Ciprian Paduraru and
Miruna Paduraru and
Alin Stefanescu},
title = {Optimizing decision making in concolic execution using reinforcement
learning},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {52--61},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00025},
doi = {10.1109/ICSTW50294.2020.00025},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PaduraruPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PalmaRSN0020,
author = {Francisco Palma and
Nuno Realista and
Carlos Serr{\~{a}}o and
Lu{\'{\i}}s Nunes and
Jo{\~{a}}o Oliveira and
Ana de Almeida},
title = {Automated security testing of Android applications for secure mobile
development},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {222--231},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00046},
doi = {10.1109/ICSTW50294.2020.00046},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PalmaRSN0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Pitts20,
author = {Rowland Pitts},
title = {Incorporating Testing Topics in an Object-Oriented Programming Course},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {452--456},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00087},
doi = {10.1109/ICSTW50294.2020.00087},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Pitts20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PizzoletoFDO20,
author = {Alessandro Viola Pizzoleto and
Fabiano Cutigi Ferrari and
Lucas Diniz Dallilo and
Jeff Offutt},
title = {SiMut: Exploring Program Similarity to Support the Cost Reduction
of Mutation Testing},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {264--273},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00052},
doi = {10.1109/ICSTW50294.2020.00052},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PizzoletoFDO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PorresARLT20,
author = {Ivan Porres and
Tanwir Ahmad and
Hergys Rexha and
S{\'{e}}bastien Lafond and
Dragos Truscan},
title = {Automatic exploratory performance testing using a discriminator neural
network},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {105--113},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00030},
doi = {10.1109/ICSTW50294.2020.00030},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PorresARLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Praphamontripong20,
author = {Upsorn Praphamontripong and
Mark Floryan and
Ryan Ritzo},
title = {A Preliminary Report on Hands-On and Cross-Course Activities in a
College Software Testing Course},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {445--451},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00080},
doi = {10.1109/ICSTW50294.2020.00080},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/Praphamontripong20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PrasetyaLOKV20,
author = {I. S. W. B. Prasetya and
Craig Q. H. D. Leek and
Roan Oosenbrug and
Petar Kostic and
Mike de Vries},
title = {Can Learning Formal Specification Be Fun? - Experience and Perspective},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {437--440},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00078},
doi = {10.1109/ICSTW50294.2020.00078},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PrasetyaLOKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RichterABJ20,
author = {Jan Richter and
Bestoun S. Ahmed and
Miroslav Bures and
Cleber R. Rosa Junior},
title = {Avocado: Open-Source Flexible Constrained Interaction Testing for
Practical Application},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {185--190},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00040},
doi = {10.1109/ICSTW50294.2020.00040},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/RichterABJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SantosMSS20,
author = {{\'{I}}talo Santos and
Silvana Morita Melo and
Paulo Sergio Lopes de Souza and
Simone R. S. Souza},
title = {Towards a unified catalog of attributes to guide industry in software
testing technique selection},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {398--407},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00071},
doi = {10.1109/ICSTW50294.2020.00071},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SantosMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SchmidtK20,
author = {Vladimir Schmidt and
Peter M. Kruse},
title = {Test Design with the Classification Tree Method in Presence of Variants},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {487--490},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00085},
doi = {10.1109/ICSTW50294.2020.00085},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SchmidtK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SimosLN20,
author = {Dimitris E. Simos and
Jeff Yu Lei and
Changhai Nie},
title = {General Message from the {IWCT} Workshop Chairs},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {xviii},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00009},
doi = {10.1109/ICSTW50294.2020.00009},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SimosLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SiqueiraFSSC20,
author = {Bento R. Siqueira and
Fabiano Cutigi Ferrari and
Kathiani Elisa de Souza and
Daniel S. M. Santib{\'{a}}{\~{n}}ez and
Valter Vieira de Camargo},
title = {Fault sTypes of Adaptive and Context-Aware Systems and Their Relationship
with Fault-based Testing Approaches},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {284--293},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00054},
doi = {10.1109/ICSTW50294.2020.00054},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SiqueiraFSSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SuharaN20,
author = {Hidetoshi Suhara and
Yasuharu Nishi},
title = {An Integrated Metamodel of Test Scenario to Conform Automotive Standards},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {237--240},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00048},
doi = {10.1109/ICSTW50294.2020.00048},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/SuharaN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TanakaNLNNT20,
author = {Takamasa Tanaka and
Hidekazu Niibori and
Shiyingxue Li and
Shimpei Nomura and
Tadayoshi Nakao and
Kazuhiko Tsuda},
title = {Selenium based Testing Systems for Analytical Data Generation of Website
User Behavior},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {216--221},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00045},
doi = {10.1109/ICSTW50294.2020.00045},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TanakaNLNNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TsujiTKIKI20,
author = {Mitsuaki Tsuji and
Toshinori Takai and
Kazuki Kakimoto and
Naoki Ishihama and
Masafumi Katahira and
Hajimu Iida},
title = {Prioritizing Scenarios based on {STAMP/STPA} Using Statistical Model
Checking},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {124--132},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00032},
doi = {10.1109/ICSTW50294.2020.00032},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TsujiTKIKI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WagnerKSKK20,
author = {Michael Wagner and
Kristoffer Kleine and
Dimitris E. Simos and
Rick Kuhn and
Raghu Kacker},
title = {{CAGEN:} {A} fast combinatorial test generation tool with support
for constraints and higher-index arrays},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {191--200},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00041},
doi = {10.1109/ICSTW50294.2020.00041},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WagnerKSKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangPM20,
author = {Yuqing Wang and
Maaret Pyh{\"{a}}j{\"{a}}rvi and
Mika V. M{\"{a}}ntyl{\"{a}}},
title = {Test Automation Process Improvement in a DevOps Team: Experience Report},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {314--321},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00057},
doi = {10.1109/ICSTW50294.2020.00057},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WangPM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WildLK20,
author = {Nils Wild and
Horst Lichter and
Peter Kehren},
title = {Test Automation Challenges for Application Landscape Frameworks},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {330--333},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00059},
doi = {10.1109/ICSTW50294.2020.00059},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WildLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WotawaBL20,
author = {Franz Wotawa and
Josip Bozic and
Yihao Li},
title = {Ontology-based Testing: An Emerging Paradigm for Modeling and Testing
Systems and Software},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {14--17},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00020},
doi = {10.1109/ICSTW50294.2020.00020},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/WotawaBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2020w,
title = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/xpl/conhome/9146896/proceeding},
isbn = {978-1-7281-1075-2},
timestamp = {Tue, 18 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/2020w.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-13 12:32 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:
