Table of Contents

• Using Search-Based Software Testing to Guide the Strive for Robust Machine Learning Components: Lessons Learned Across Systems and Simulators in the Mobility DomainMarkus Borg. 1 [doi]
• RQCODE - Towards Object-Oriented Requirements in the Software Security DomainIldar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel. 2-6 [doi]
• Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper)Manh-Dung Nguyen, Vinh Hoa La, Ana R. Cavalli, Edgardo Montes de Oca. 7-10 [doi]
• Prioritized Variable-length Test Cases Generation for Finite State MachinesVaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach. 11-20 [doi]
• Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed BanditsJarkko Peltomäki, Ivan Porres. 21-28 [doi]
• Security Testing as part of Software Quality Assurance: Principles and ChallengesWissam Mallouli. 29 [doi]
• Early Detection of Network Attacks Using Deep LearningTanwir Ahmad, Dragos Truscan, Jüri Vain, Ivan Porres. 30-39 [doi]
• Monitoring Approaches for Security and Safety Analysis: Application to a Load Position SystemZujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaïdi, Monika Ewa Rakoczy. 40-48 [doi]
• Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection SystemRui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang. 49-56 [doi]
• Using Unified Combinatorial Interaction Testing for MC/DC CoverageGiray Coskun, Cankut Coskun, Hanefi Mercan, Cemal Yilmaz. 57-62 [doi]
• 2: Practical Archival and Compression of Covering ArraysManuel Leithner, Dimitris E. Simos. 63-67 [doi]
• Experience of Combinatorial Testing toward Fault Detection, Isolation and Recovery FunctionalityNaoko Okubo, Shoma Takatsuki, Yasushi Ueda. 68-71 [doi]
• A C++ implementation of the IPO algorithmKenya Takemura. 72-73 [doi]
• Parallel Test Generation for Combinatorial Models Based on Multivalued Decision DiagramsAndrea Bombarda, Angelo Gargantini. 74-81 [doi]
• A Constrained Covering Array Generator using Adaptive Penalty based Parallel Tabu SearchYan Wang, Huayao Wu, Xintao Niu, Changhai Nie, Jiaxi Xu. 82-86 [doi]
• Developing multithreaded techniques and improved constraint handling for the tool CAgenMichael Wagner 0026, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker. 87-93 [doi]
• A Combinatorial Approach to Fairness Testing of Machine Learning ModelsAnkita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei 0001, Raghu N. Kacker, D. Richard Kuhn. 94-101 [doi]
• Systematic Training and Testing for Machine Learning Using Combinatorial Interaction TestingTyler Cody, Erin Lanus, Daniel D. Doyle, Laura J. Freeman. 102-109 [doi]
• Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable FunctionsD. Richard Kuhn, Mohammad S. Raunak, Charles B. Prado, Vinay C. Patil, Raghu N. Kacker. 110-117 [doi]
• A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz TestingMiguel Trinca, João F. Ferreira 0001, Rui Abreu 0001. 118-121 [doi]
• TCP-Net: Test Case Prioritization using End-to-End Deep Neural NetworksMohamed Abdelkarim, Reem ElAdawi. 122-129 [doi]
• Testing Deep Learning Models: A First Comparative Study of Multiple Testing TechniquesMohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker. 130-137 [doi]
• Clustering of Usage Traces for Regression Test Cases SelectionVahana Dorcis, Fabrice Bouquet, Frédéric Dadeau. 138-145 [doi]
• Towards Domain-Specific Automated Testing via Behavioural CloningCristina Gatt, Mark Bugeja, Mark Micallef. 146-149 [doi]
• Augmenting Equivalent Mutant Dataset Using Symbolic ExecutionSeungjoon Chung, Shin Yoo. 150-159 [doi]
• µBert: Mutation Testing using Pre-Trained Language ModelsRenzo Degiovanni, Mike Papadakis. 160-169 [doi]
• Random Mutant Selection and Equivalent Mutants RevisitedRowland Pitts. 170-178 [doi]
• An Automated Framework for Cost Reduction of Mutation Testing Based on Program SimilarityGiovanni Guarnieri, Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari. 179-188 [doi]
• Re-visiting the coupling between mutants and real faults with Defects4J 2.0Thomas Laurent 0003, Stephen Gaffney, Anthony Ventresque. 189-198 [doi]
• An Industrial Case-Study on GUI Testing With RPAMats Holmberg, Felix Dobslaw. 199-206 [doi]
• Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed GraphsVaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed. 207-214 [doi]
• Gamified Exploratory GUI Testing of Web Applications: a Preliminary EvaluationTommaso Fulcini, Luca Ardito. 215-222 [doi]
• Win GUI Crawler: A tool prototype for desktop GUI image and metadata collectionMarko Savic, Mika Mäntylä, Maëlick Claes. 223-228 [doi]
• Software Bug Prediction Model Based on Mathematical Graph Features MetricsTomohiro Takeda, Satoshi Masuda, Kazuhiko Tsuda. 229-235 [doi]
• Obtaining Fuzzing Results with Different TimeoutsWenxi Zhang. 236-239 [doi]
• Patterns to Improve Fidelity for Model-Based TestingYasuaki Hiruta, Hidetoshi Suhara, Yasuharu Nishi. 240-243 [doi]
• Software Test Architecture Definition by Analogy with Software ArchitectureSatoshi Masuda, Jon D. Hagar, Yasuharu Nishi, Kazuhiro Suzuki. 244-247 [doi]
• Software Architecture Elements Applied to Software Test: View, Viewpoints and ContainersJon D. Hagar. 248-252 [doi]
• Cross-Device Difference Detector for Mobile Application GUI Compatibility TestingYanwei Ren, Youda Gu, Zongqing Ma, Hualiang Zhu, Fei Yin. 253-260 [doi]
• Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code AnalysisFelix Schuckert, Hanno Langweg, Basel Katt. 261-268 [doi]
• AcoFuzz: Adaptive Energy Allocation for Greybox FuzzingYou Wu, Qi Zhan, Haipeng Qu, Xiaoqi Zhao. 269-276 [doi]
• Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development EnvironmentMikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu. 277-284 [doi]
• Pinpointing Anomaly Events in Logs from Stability Testing - N-Grams vs. Deep-LearningMika Mäntylä, Martín Varela, Shayan Hashemi. 285-292 [doi]
• Identifying Randomness related Flaky Tests through Divergence and Execution TracingAzeem Ahmad, Erik Norrestam Held, Ola Leifler, Kristian Sandahl. 293-300 [doi]
• Removing Uninteresting Bytes in Software FuzzingAftab Hussain 0001, Mohammad Amin Alipour. 301-305 [doi]
• New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic SearchQusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes. 306-309 [doi]