1. Home
  2. Proceedings
  3. ICSTW
  4. ICSTW 2022
Default Cover Image

2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

April 4 2022 to April 13 2022

Valencia, Spain

ISSN: 2159-4848

ISBN: 978-1-6654-9628-5

Table of Contents

[Title page i]Freely available from IEEE.pp. 1-1
[Title page iii]Freely available from IEEE.pp. 3-3
[Copyright notice]Freely available from IEEE.pp. 4-4
Table of ContentsFreely available from IEEE.pp. 5-10
Preface to ICSTW 2022Freely available from IEEE.pp. 11-11
Message from the ITEQS 2022 Workshop ChairsFreely available from IEEE.pp. 12-12
Message from the AIST 2022 ChairFreely available from IEEE.pp. 13-13
General Message from the IWCT 2022 Workshop ChairsFreely available from IEEE.pp. 14-14
General Message from the INTUITESTBEDS 2022 Workshop ChairsFreely available from IEEE.pp. 15-15
Welcome Message from the Chairs of the NEXTA-2022 WorkshopFreely available from IEEE.pp. 16-16
Message from the InSTA 2022 chairsFreely available from IEEE.pp. 17-17
Message from the Mutation 2022 Workshop ChairsFreely available from IEEE.pp. 18-18
Using Search-Based Software Testing to Guide the Strive for Robust Machine Learning Components: Lessons Learned Across Systems and Simulators in the Mobility DomainFull-text access may be available. Sign in or learn about subscription options.pp. 1-1
by Markus Borg
RQCODE – Towards Object-Oriented Requirements in the Software Security DomainFull-text access may be available. Sign in or learn about subscription options.pp. 2-6
by Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper)Full-text access may be available. Sign in or learn about subscription options.pp. 7-10
by Manh-Dung Nguyen, Vinh Hoa La, R. Cavalli, Edgardo Montes de Oca
Prioritized Variable-length Test Cases Generation for Finite State MachinesFull-text access may be available. Sign in or learn about subscription options.pp. 11-20
by Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed BanditsFull-text access may be available. Sign in or learn about subscription options.pp. 21-28
by Jarkko Peltomäki, Ivan Porres
Security Testing as part of Software Quality Assurance: Principles and ChallengesFull-text access may be available. Sign in or learn about subscription options.pp. 29-29
by Wissam Mallouli
Early Detection of Network Attacks Using Deep LearningFull-text access may be available. Sign in or learn about subscription options.pp. 30-39
by Tanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position SystemFull-text access may be available. Sign in or learn about subscription options.pp. 40-48
by Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaidi, Monika Ewa Rakoczy
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection SystemFull-text access may be available. Sign in or learn about subscription options.pp. 49-56
by Rui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang
Using Unified Combinatorial Interaction Testing for MC/DC CoverageFull-text access may be available. Sign in or learn about subscription options.pp. 57-62
by Giray Coskun, Cankut Coskun, Hanefi Mercan, Cemal Yilmaz
CA2: Practical Archival and Compression of Covering ArraysFull-text access may be available. Sign in or learn about subscription options.pp. 63-67
by Manuel Leithner, Dimitris E. Simos
Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery FunctionalityFull-text access may be available. Sign in or learn about subscription options.pp. 68-71
by Naoko Okubo, Shoma Takatsuki, Yasushi Ueda
A C++ implementation of the IPO algorithmFull-text access may be available. Sign in or learn about subscription options.pp. 72-73
by Kenya Takemura
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 74-81
by Andrea Bombarda, Angelo Gargantini
A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu SearchFull-text access may be available. Sign in or learn about subscription options.pp. 82-86
by Yan Wang, Huayao Wu, Xintao Niu, Changhai Nie, Jiaxi Xu
Developing multithreaded techniques and improved constraint handling for the tool CAgenFull-text access may be available. Sign in or learn about subscription options.pp. 87-93
by Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
A Combinatorial Approach to Fairness Testing of Machine Learning ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 94-101
by Ankita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction TestingFull-text access may be available. Sign in or learn about subscription options.pp. 102-109
by Tyler Cody, Erin Lanus, Daniel D. Doyle, Laura Freeman
Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 110-117
by D. Richard Kuhn, M S Raunak, Charles Prado, Vinay C. Patil, Raghu N. Kacker
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz TestingFull-text access may be available. Sign in or learn about subscription options.pp. 118-121
by Miguel Trinca, João F. Ferreira, Rui Abreu
TCP-Net: Test Case Prioritization using End-to-End Deep Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 122-129
by Mohamed Abdelkarim, Reem ElAdawi
Testing Deep Learning Models: A First Comparative Study of Multiple Testing TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 130-137
by Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Clustering of Usage Traces for Regression Test Cases SelectionFull-text access may be available. Sign in or learn about subscription options.pp. 138-145
by Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau
Towards Domain-Specific Automated Testing via Behavioural CloningFull-text access may be available. Sign in or learn about subscription options.pp. 146-149
by Cristina Gatt, Mark Bugeja, Mark Micallef
Augmenting Equivalent Mutant Dataset Using Symbolic ExecutionFull-text access may be available. Sign in or learn about subscription options.pp. 150-159
by Seungjoon Chung, Shin Yoo
µBert: Mutation Testing using Pre-Trained Language ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 160-169
by Renzo Degiovanni, Mike Papadakis
Random Mutant Selection and Equivalent Mutants RevisitedFull-text access may be available. Sign in or learn about subscription options.pp. 170-178
by Rowland Pitts
An Automated Framework for Cost Reduction of Mutation Testing Based on Program SimilarityFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by Giovanni F. Guarnieri, Alessandro V. Pizzoleto, Fabiano C. Ferrari
Re-visiting the coupling between mutants and real faults with Defects4J 2.0Full-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Thomas Laurent, Stephen Gaffney, Anthony Ventresque
An Industrial Case-Study on GUI Testing With RPAFull-text access may be available. Sign in or learn about subscription options.pp. 199-206
by Mats Holmberg, Felix Dobslaw
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 207-214
by Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Gamified Exploratory GUI Testing of Web Applications: a Preliminary EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 215-222
by Tommaso Fulcini, Luca Ardito
Win GUI Crawler: A tool prototype for desktop GUI image and metadata collectionFull-text access may be available. Sign in or learn about subscription options.pp. 223-228
by Marko Savic, Mika Mäntylä, Maëlick Claes
Software Bug Prediction Model Based on Mathematical Graph Features MetricsFull-text access may be available. Sign in or learn about subscription options.pp. 229-235
by Tomohiro Takeda, Satoshi Masuda, Kazuhiko Tsuda
Obtaining Fuzzing Results with Different TimeoutsFull-text access may be available. Sign in or learn about subscription options.pp. 236-239
by Wenxi Zhang
Patterns to Improve Fidelity for Model-Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 240-243
by Yasuaki Hiruta, Hidetoshi Suhara, Yasuharu Nishi
Software Test Architecture Definition by Analogy with Software ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 244-247
by Satoshi Masuda, Jon Hagar, Yasuharu Nishi, Kazuhiro Suzuki
Software Architecture Elements Applied to Software Test: View, Viewpoints and ContainersFull-text access may be available. Sign in or learn about subscription options.pp. 248-252
by Jon D Hagar
Cross-Device Difference Detector for Mobile Application GUI Compatibility TestingFull-text access may be available. Sign in or learn about subscription options.pp. 253-260
by Yanwei Ren, Youda Gu, Zongqing Ma, Hualiang Zhu, Fei Yin
Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 261-268
by Felix Schuckert, Hanno Langweg, Basel Katt
AcoFuzz: Adaptive Energy Allocation for Greybox FuzzingFull-text access may be available. Sign in or learn about subscription options.pp. 269-276
by You Wu, Qi Zhan, Haipeng Qu, Xiaoqi Zhao
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 277-284
by Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
Pinpointing Anomaly Events in Logs from Stability Testing – N-Grams vs. Deep-LearningFull-text access may be available. Sign in or learn about subscription options.pp. 285-292
by Mika Mäntylä, Martín Varela, Shayan Hashemi
Identifying Randomness related Flaky Tests through Divergence and Execution TracingFull-text access may be available. Sign in or learn about subscription options.pp. 293-300
by Azeem Ahmad, Erik Norrestam Held, Ola Leifler, Kristian Sandahl
Removing Uninteresting Bytes in Software FuzzingFull-text access may be available. Sign in or learn about subscription options.pp. 301-305
by Aftab Hussain, Mohammad Amin Alipour
New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic SearchFull-text access may be available. Sign in or learn about subscription options.pp. 306-309
by Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes
Author IndexFreely available from IEEE.pp. 311-312
Showing 59 out of 59