Table of Contents

• We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based TestingAndreas Bauer, Emil Alégroth. 1-9 [doi]
• An Experiment in Requirements Engineering and Testing using EARS Notation for PLC SystemsMikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu. 10-17 [doi]
• Model-Based Policy Synthesis and Test-Case Generation for Autonomous SystemsRong Gu, Eduard Enoiu. 18-27 [doi]
• ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test ScenariosFrancesco Basciani, Vittorio Cortellessa, Sergio Di Martino, Dario Di Nucci, Daniele Di Pompeo, Carmine Gravino, Luigi Libero Lucio Starace. 28-35 [doi]
• From BDD Scenarios to Test Case GenerationTannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink. 36-44 [doi]
• Improving Model Learning by Inferring Separating Sequences from TracesRafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat. 45-51 [doi]
• MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAALJaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens. 52-61 [doi]
• Automating GUI-based Software Testing with GPT-3Daniel Zimmermann, Anne Koziolek. 62-65 [doi]
• Towards Explainable Test Case Prioritisation with Learning-to-Rank ModelsAurora Ramírez 0001, Mario Berrios, José Raúl Romero, Robert Feldt. 66-69 [doi]
• Generating concrete test cases from vehicle data using models obtained from clusteringNour Chetouane, Franz Wotawa. 70-77 [doi]
• Similarities of Testing Programmed and Learnt SoftwareFelix Dobslaw, Robert Feldt. 78-81 [doi]
• Regression Test Generation by Usage Coverage Driven Clustering on User TracesFrédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard. 82-89 [doi]
• Evaluating the Effectiveness of Attacks and Defenses on Machine Learning Through Adversarial SamplesViraj R. Gala, Martin A. Schneider. 90-97 [doi]
• Enabling Pre-Merge CI on your TVJosé Soltren, Kyle Mulligan. 98 [doi]
• How we use Hermetic, Ephemeral Test Environments at Google to reduce Test FlakinessCarlos Arguelles. 99 [doi]
• Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systemsPierre Martou, Benoît Duhoux, Kim Mens, Axel Legay. 100-104 [doi]
• Deep Industry Use Cases on Context-Aware Adaptive Mobile Systems Experience TestingMuralidhar Yalla, Mahesh Venkata Raman, Mallika Fernandes. 105-106 [doi]
• Action-Based Test Carving for Android AppsAlessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev, Mattia Fazzini. 107-116 [doi]
• An analysis of widget layout attributes to support Android GUI-based testingTommaso Fulcini, Riccardo Coppola, Marco Torchiano, Luca Ardito. 117-125 [doi]
• Open Benchmark Testbed to Evaluate Effectiveness of Path-based TestsMatej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout. 126-130 [doi]
• Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive SoftwareRohini Bisht, Selomie Kindu Ejigu, Gregory Gay 0002, Predrag Filipovikj. 131-139 [doi]
• From User Stories to End-to-end Web TestingHumaid Mollah, Petra van den Bos. 140-148 [doi]
• Automated and Systematic Digital Twins Testing for Industrial ProcessesYunpeng Ma, Khalil Younis, Bestoun S. Ahmed, Andreas Kassler, Pavel Krakhmalev, Andreas Thore, Hans Lindback. 149-158 [doi]
• Preliminary Results in Using Attention for Increasing Attack Identification EfficiencyTanwir Ahmad, Dragos Truscan, Jüri Vain. 159-164 [doi]
• Lightweight Method for On-the-fly Detection of Multivariable Atomicity ViolationsChang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha. 165-171 [doi]
• Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learnedMarc P. Hauer, Lena Müller-Kress, Gertraud Leimüller, Katharina Anna Zweig. 172-179 [doi]
• *Yavuz Köroglu, Franz Wotawa. 180-185 [doi]
• Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATSJonatan Larsson, Eduard Paul Enoiu. 186-189 [doi]
• Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction TestingGang Qin, Junjun Zheng, Tatsuhiro Tsuchiya. 190-196 [doi]
• Incremental generation of combinatorial test suites starting from existing seed testsAndrea Bombarda, Angelo Gargantini. 197-205 [doi]
• Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification ErrorTyler Cody, Laura J. Freeman. 206-213 [doi]
• Challenging Autonomy with Combinatorial TestingSimon Diemert, Adam Casey, Jeremiah Robertson. 214-222 [doi]
• Hints in Unified Combinatorial Interaction TestingHanefi Mercan, Cemal Yilmaz. 223-227 [doi]
• Synthetic Data Generation Using Combinatorial Testing and Variational AutoencoderKrishna Khadka, Jaganmohan Chandrasekaran, Yu Lei 0001, Raghu N. Kacker, D. Richard Kuhn. 228-236 [doi]
• Applying CT-FLA for AEB Function Testing: A Virtual Driving Case StudyLudwig Kampel, Michael Wagner 0026, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa. 237-245 [doi]
• Ordered t-way Combinations for Testing State-based SystemsD. Richard Kuhn, Mohammad S. Raunak, Raghu N. Kacker. 246-254 [doi]
• Combinatorial Methods for HTML Sanitizer Security TestingJovan Zivanovic, Manuel Leithner, Dimitris E. Simos, Michael Pitzer, Peter J. Slanina. 255-259 [doi]
• Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic CircuitsLudwig Kampel, Paris Kitsos, Dimitris E. Simos. 260-262 [doi]
• Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection TestingBernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos. 263-265 [doi]
• Summary of Combinatorial methods for testing Internet of Things smart home systemsBernhard Garn, Dominik-Philip Schreiber, Dimitris E. Simos, Rick Kuhn, Jeffrey M. Voas, Raghu Kacker. 266-267 [doi]
• Summary of In-Parameter-Order strategies for covering perfect hash familiesMichael Wagner 0026, Charles J. Colbourn, Dimitris E. Simos. 268-270 [doi]
• Defining Software Test Architectures with the UML Testing ProfileJon D. Hagar, Marc-Florian Wendland. 271-280 [doi]
• Semantic-based and Learning-based Regression Test Selection focusing on Test ObjectivesJunji Suzuki, Yasuharu Nishi, Shoma Tanaka, Kimihiko Naruse, Minako Shimoji, Zhen Zhong. 281-287 [doi]
• Semantic Metamorphic Testing focusing on Object RarityYasuharu Nishi, Hidenori Ito, Yuma Torikoshi. 288-291 [doi]
• Elements for a Test(-ware) Architecture LanguageLuis-Vinicio León-Carrillo. 292-299 [doi]
• Analysis of mutation operators for FSM testingDanial Nikbin Azmoudeh, Yvan Labiche. 300-307 [doi]
• A Tool for Mutation Analysis in RacketBambi Zhuang, James Perretta, Arjun Guha, Jonathan Bell 0001. 308-313 [doi]
• The Inversive Relationship Between Bugs and Patches: An Empirical StudyJinhan Kim, Jongchan Park, Shin Yoo. 314-323 [doi]
• Mutation Testing in Continuous Integration: An Exploratory Industrial Case StudyJonathan Örgård, Gregory Gay 0002, Francisco Gomes de Oliveira Neto, Kim Viggedal. 324-333 [doi]
• Validation of Mutation Testing in the Safety Critical Industry through a Pilot StudySten Vercammen, Markus Borg, Serge Demeyer. 334-343 [doi]
• Systematically Generated Formulas for Spectrum-Based Fault LocalizationQusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes. 344-352 [doi]
• An Intelligent Monitoring Algorithm to Detect Dependencies between Test Cases in the Manual Integration ProcessCristina Landing, Xinrong Zhao, Martin Längkvist, Amy Loutfi. 353-360 [doi]
• Cloudify the RAN System Test StrategyTheofilos Toronidis, Carlos Valdivia Yagüe, Yulin Cui. 361-364 [doi]
• Modification-Impact based Test Prioritization for Process-Driven ApplicationsKonrad Schneid, Sebastian Thöne, Herbert Kuchen. 365-372 [doi]
• Test Cost Reduction for 5G and Beyond using Machine LearningMaryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi. 373-376 [doi]
• Marco Polo - A Tool for Automated Exploratory Testing of Previously Unseen Online StoresCristina Gatt, Mark Micallef, Mark Bugeja. 377-380 [doi]
• On factors that impact the relationship between code coverage and test suite effectiveness: a surveyMaryam Barani, Yvan Labiche, Antoine Rollet. 381-388 [doi]
• ISTQB-based Software Testing Education: Advantages and ChallengesAttila Szatmári, Tamás Gergely, Árpád Beszédes. 389-396 [doi]
• On the Current State of Academic Software Testing Education in SwedenAyodele A. Barrett, Eduard Paul Enoiu, Wasif Afzal. 397-404 [doi]
• An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software TestingMartin Balfroid, Pierre Luycx, Benoît Vanderose, Xavier Devroey. 405-412 [doi]
• Teaching Test-Driven Development and Object-Oriented Design by ExampleBingyang Wei. 413-421 [doi]
• Intracompany Training in Software Testing: Experience ReportIosif Itkin, Natia Sirbiladze, Elena Treshcheva, Rostislav Yavorskiy. 422-425 [doi]
• Code Critters: A Block-Based Testing GamePhilipp Straubinger, Laura Caspari, Gordon Fraser 0001. 426-429 [doi]
• Process Oriented Guided Inquiry-based learning-like pedagogy (POGIL-like) in Online Software Testing and DevOps - A Replication StudyBhuvana Gopal, Stephen Cooper. 438-445 [doi]
• ChatGPT and Software Testing Education: Promises & PerilsSajed Jalil, Suzzana Rafi, Thomas D. LaToza, Kevin Moran, Wing Lam. 4130-4137 [doi]