Table of Contents

• Poster: Quantification of Feature-Interaction Masking in JHipsterTim Jannik Schmidt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm, Mathieu Acher. 1-4 [doi]
• SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network ControllerAo Li 0009, Rohan Padhye, Vyas Sekar. 1-12 [doi]
• Detecting and Evaluating Order-Dependent Flaky Tests in JavaScriptNegar Hashemi, Amjed Tahir, Shawn Rasheed, August Shi, Rachel Blagojevic. 13-24 [doi]
• The Impact of List Reduction for Language Agnostic Test Case ReducersTobias Heineken, Michael Philippsen. 25-35 [doi]
• Hybrid Equivalence/Non-Equivalence TestingLaboni Sarker, Tevfik Bultan. 36-46 [doi]
• Metamorphic Testing for Pose Estimation SystemsMatias Duran, Thomas Laurent 0003, Ellen Rushe, Anthony Ventresque. 47-57 [doi]
• Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type InformationSarah Canto Hyatt, Kyle Dewey. 58-68 [doi]
• Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided FuzzingManuel Carrasco, Cristian Cadar, Alastair F. Donaldson. 69-79 [doi]
• Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for CodeShahin Honarvar, Mark van der Wilk, Alastair F. Donaldson. 80-91 [doi]
• An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction ChallengesYu Pei, Jeongju Sohn, Mike Papadakis. 92-102 [doi]
• Understanding the Effectiveness of Large Language Models in Detecting Security VulnerabilitiesAvishree Khare, Saikat Dutta 0001, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik. 103-114 [doi]
• ADGE: Automated Directed GUI Explorer for Android ApplicationsYue Jiang, Xiaobo Xiang, Qingli Guo, Qi Gong, Xiaorui Gong. 115-126 [doi]
• Multi-Project Just-in-Time Software Defect Prediction Based on Multi-Task Learning for Mobile ApplicationsFeng Chen, Yuxin Ke, Xin Liu, Qingjie Wei. 127-137 [doi]
• A Taxonomy of Integration-Relevant Faults for Microservice TestingLena Gregor, Anja Hentschel, Leon Kastner, Alexander Pretschner. 138-149 [doi]
• Benchmarking Image Perturbations for Testing Automated Driving Assistance SystemsStefano Carlo Lambertenghi, Hannes Leonhard, Andrea Stocco 0001. 150-161 [doi]
• Improving the Readability of Automatically Generated Tests Using Large Language ModelsMatteo Biagiola, Gianluca Ghislotti, Paolo Tonella. 162-173 [doi]
• Benchmarking Generative AI Models for Deep Learning Test Input GenerationMaryam, Matteo Biagiola, Andrea Stocco 0001, Vincenzo Riccio. 174-185 [doi]
• Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers' PerspectivesXiaoxiao Gan, Huayu Liang, Chris Brown 0001. 186-197 [doi]
• Coverage Metrics for T-Wise Feature InteractionsSabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau. 198-209 [doi]
• Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past DecadeThomas Bailey, Cristian Cadar. 210-220 [doi]
• Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test GenerationAzat Abdullin, Pouria Derakhshanfar, Annibale Panichella. 221-232 [doi]
• Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler InformationLeonhard Applis, Matthías Páll Gissurarson, Annibale Panichella. 233-243 [doi]
• Many-Objective Neuroevolution for Testing GamesPatric Feldmeier, Katrin Schmelz, Gordon Fraser 0001. 244-254 [doi]
• Differential Testing of Concurrent ClassesValerio Terragni, Shing-Chi Cheung. 255-266 [doi]
• On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant ClusteringLauren Lyons, Ali Ghanbari 0001. 267-278 [doi]
• AugmenTest: Enhancing Tests with LLM-Driven OraclesShaker Mahmud Khandaker, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi. 279-289 [doi]
• Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT PlatformsDaniel Rodríguez-Cárdenas, Safwat Ali Khan, Prianka Mandal, Adwait Nadkarni, Kevin Moran, Denys Poshyvanyk. 290-301 [doi]
• Impact of Large Language Models of Code on Fault LocalizationSuhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, Hyeonseung Im. 302-313 [doi]
• Benchmarking Open-Source Large Language Models for Log Level SuggestionYi Wen Heng, Zeyang Ma, Zhenhao Li 0002, Dong Jae Kim, Tse-Hsun Chen. 314-325 [doi]
• Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMsZhuolin Xu, Qiushi Li, Shin Hwei Tan. 326-337 [doi]
• RustyRTS: Regression Test Selection for RustSimon Hundsdorfer, Roland Würsching, Alexander Pretschner. 338-348 [doi]
• An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and ClassificationRiddhi More, Jeremy S. Bradbury. 349-359 [doi]
• On the Energy Consumption of Test GenerationFitsum Meshesha Kifetew, Davide Prandi, Angelo Susi. 360-370 [doi]
• Practical Pipeline-Aware Regression Test Optimization for Continuous IntegrationDaniel Schwendner, Maximilian Jungwirth, Martin Gruber, Martin Knoche, Daniel Merget, Gordon Fraser 0001. 371-381 [doi]
• Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and SolutionsAndrea Arcuri, Alexander Poth, Olsi Rrjolli. 382-393 [doi]
• Integrating LLM-Based Text Generation with Dynamic Context Retrieval for GUI TestingJuyeon Yoon, Seah Kim, Somin Kim, Sukchul Jung, Shin Yoo. 394-405 [doi]
• Assessing the Uncertainty and Robustness of the Laptop Refurbishing SoftwareChengjie Lu, Jiahui Wu, Shaukat Ali 0001, Mikkel Labori Olsen. 406-416 [doi]
• Fault Localization via Fine-Tuning Large Language Models with Mutation Generated Stack TracesNeetha Jambigi, Bartosz Bogacz, Moritz Mueller, Thomas Bach 0001, Michael Felderer. 417-428 [doi]
• LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule EngineErblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali 0001, Thomas Schwitalla, Jan F. Nygård. 429-440 [doi]
• Compiler Fuzzing in Continuous Integration: A Case Study on DafnyKarnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson. 441-452 [doi]
• LLM-Based Labelling of Recorded Automated GUI-Based Test CasesDiogo Buarque Franzosi, Emil Alégroth, Maycel Isaac. 453-463 [doi]
• Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving SystemsSelma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis. 464-475 [doi]
• ML-Based Test Case Prioritization: A Research and Production Perspective in CI EnvironmentsMd. Asif Khan, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef. 476-486 [doi]
• Evaluation of the Choice of LLM in a Multi-Agent Solution for GUI-Test GenerationStevan Tomic, Emil Alégroth, Maycel Isaac. 487-497 [doi]
• Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in PracticeJose Luis de la Vara, Juan Manuel Morote, Clara Ayora, Giovanni Giachetti, Luis Alonso, Roy Mendieta, David Muñoz, Ricardo Ruiz Nolasco, Antonio González. 498-509 [doi]
• Speculative Testing at Google with Transition PredictionAvi Kondareddy, Sushmita Azad, Abhayendra Singh, Tim A. D. Henderson. 510-521 [doi]
• Evaluating Machine Learning-Based Test Case Prioritization in the Real World: An Experiment with SAP HANAJeongki Son, Gabin An, Jingun Hong, Shin Yoo. 522-532 [doi]
• FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing PlateformGabriel Benoit, François Georis, Géry Debongnie, Benoît Vanderose, Xavier Devroey. 533-541 [doi]
• Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMsJan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider. 542-552 [doi]
• A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics SoftwareAlexis L. Marsh, Myra B. Cohen, Robert W. Cottingham. 553-564 [doi]
• CubeTesterAI: Automated JUnit Test Generation Using the LLaMA ModelDaniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, Alireza Alipourfaz. 565-576 [doi]
• Leveraging Large Language Models for Explicit Wait Management in End-to-End Web TestingDario Olianas, Maurizio Leotta, Filippo Ricca. 577-581 [doi]
• Weighted Call Frequency-Based Fault LocalizationAttila Szatmári, Aondowase James Orban, Tamás Gergely. 582-586 [doi]
• Addressing Data Leakage in HumanEval Using Combinatorial Test DesignJeremy S. Bradbury, Riddhi More. 587-591 [doi]
• Towards Cross-Build Differential TestingJens Dietrich 0001, Tim White, Valerio Terragni, Behnaz Hassanshahi. 592-596 [doi]
• Test Generation from Use Case Specifications for IoT Systems: Custom, LLM-Based, and Hybrid ApproachesZacharie Chenail-Larcher, Jean Baptiste Minani, Naouel Moha. 597-602 [doi]
• Batch Execution of Microbenchmarks for Efficient Performance TestingMostafa Jangali, Kundi Yao, Yiming Tang 0002, Diego Elias Costa, Weiyi Shang. 603-607 [doi]
• Pre-trained Models for Bytecode InstructionsDonggyu Kim, Taemin Kim, Jiho Shin, Song Wang, Heeyoul Choi, Jaechang Nam. 608-612 [doi]
• Towards Refined Code Coverage: A New Predictive Problem in Software TestingCarolin E. Brandt, Aurora Ramírez. 613-617 [doi]
• EnCus: Customizing Search Space for Automated Program RepairSeongbin Kim, Sechang Jang, Jindae Kim, Jaechang Nam. 618-622 [doi]
• Harnessing Test Call Structures for Improved Fault Localization EffectivenessAttila Szatmári. 623-628 [doi]
• Improving the Comprehensibility of Generated Test Suites Using Test Case ClusteringMitchell Olsthoorn. 629-633 [doi]
• Black-Box Testing for Practitioners: A Case of the New ISTQB Test Analyst SyllabusMatthias Hamburg, Adam Roman. 634-645 [doi]
• Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP ProgramsRicardo Brancas, Vasco Manquinho, Ruben Martins. 646-657 [doi]
• Teaching Bug Advocacy Through Flipped ClassroomAndreea Galbin-Nasui, Andreea Vescan. 658-667 [doi]
• Experience Report on Using Experiential Learning to Facilitate Learning of Bug Investigation StepsAdina Moldovan, Oana Casapu, Andreea Vescan. 668-678 [doi]
• Requirements for an Automated Assessment Tool for Learning Programming by DoingArthur Rump, Vadim Zaytsev, Angelika Mader. 679-686 [doi]
• A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design FreedomValerio Terragni, Nasser Giacaman. 687-698 [doi]
• Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?Ruizhen Gu, José Miguel Rojas, Donghwan Shin. 699-710 [doi]
• A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing ProficiencyMaria Couto, Breno Miranda, Kiev Gama. 711-720 [doi]
• Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution EngineMonika Rani Golla, Sangharatna Godboley. 721-724 [doi]
• Poster: Reporting Unique-Cause MC/DC Score Using Formal VerificationMonika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna 0001. 725-728 [doi]
• Poster: Unit Testing Past vs. Present: Examining LLMs' Impact on Defect Detection and EfficiencyRudolf Ramler, Philipp Straubinger, Reinhold Plösch, Dietmar Winkler 0001. 733-736 [doi]
• Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus AlgorithmWishaal Kanhai, Ivar van Loon, Yuraj Mangalgi, Thijs Van der Valk, Lucas Witte, Annibale Panichella, Mitchell Olsthoorn, Burcu Kulahcioglu Ozkan. 737-741 [doi]
• Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from CodeforcesMax Hort, Leon Moonen. 742-746 [doi]
• E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-Level TestsSergio Di Meglio, Luigi Libero Lucio Starace, Sergio Di Martino. 747-751 [doi]
• ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios Using Projectional EditingMario Fuksa, Sandro Speth, Steffen Becker 0001. 752-756 [doi]
• RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing ToolsDavide Corradini, Michele Pasqua, Mariano Ceccato. 757-761 [doi]
• AMBER: AI-Enabled Java Microbenchmark HarnessAntonio Trovato, Luca Traini, Federico Di Menna, Dario Di Nucci. 762-766 [doi]
• Scenario-Based Testing with BeamNG.tech (Hands-On Training)Chrysanthi Papamichail, David Stark, Alessio Gambi. 767-768 [doi]
• A Developer's Guide to Building and Testing Accessible Mobile AppsJuan Pablo Sandoval Alcocer, Leonel Merino, Alison Fernandez Blanco, William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares Vásquez. 769-770 [doi]
• Adversarial Testing with Reinforcement LearningAndréa Doreste. 771-773 [doi]
• A Method for Systematically Assessing the Safety of Automated Driving Systems via SimulationAli Güllü. 774-775 [doi]
• Uncertainty-Aware Autonomous Driving System Testing with Large Language ModelsJiahui Wu. 776-778 [doi]
• Identifying and Mitigating Flaky Tests in JavaScriptNegar Hashemi. 779-781 [doi]
• End-to-End Testing in Web Environments: Addressing Practical ChallengesSergio Di Meglio. 782-784 [doi]
• Advancing Mobile UI Testing by Learning Screen Usage SemanticsSafwat Ali Khan. 785-787 [doi]
• Enhancing Spectrum-Based Fault Localization in the Context of Reactive ProgrammingAondowase James Orban. 788-790 [doi]
• Toward Tool-Agnostic Guidelines for Expert Debugging StrategiesHomayoun Safarpour. 791-793 [doi]
• On Service-to-Service Integration Testing in Microservice SystemsLena Gregor. 794-796 [doi]
• Evaluating Correct-Consistency and Robustness in Code-Generating LLMsShahin Honarvar. 797-800 [doi]
• ICST Tool Competition 2025 - Self-Driving Car Testing TrackChristian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella. 801-804 [doi]
• DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing TrackPaolo Arcaini, Ahmet Cetinkaya. 805-806 [doi]
• DRVN at the ICST 2025 Tool Competition - Self-Driving Car Testing TrackAntony Bartlett, Cynthia C. S. Liem, Annibale Panichella. 807-808 [doi]
• ITS4SDC at the ICST 2025 Tool Competition - Self-Driving Car Testing TrackAli Güllü, Faiz Ali Shah, Dietmar Pfahl. 809-810 [doi]
• CertiFail at the ICST 2025 Tool Competition - Self-Driving Car Testing TrackFasih Munir Malik, Sajad Mazraeh Khatiri. 811-812 [doi]
• NN-SDCTest at the ICST 2025 Tool Competition - Self-Driving Car Testing TrackPrakash Aryan, Sajad Khatiri. 813-814 [doi]
• ICST Tool Competition 2025 - UAV Testing TrackSajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, Dmytro Humeniuk, Sebastiano Panichella. 815-818 [doi]
• Evolv-1 at the ICST 2025 Tool Competition - UAV Testing TrackPietro Lechthaler, Davide Prandi, Fitsum Meshesha Kifetew, Angelo Susi. 819-820 [doi]
• TGen-UQ at the ICST 2025 Tool Competition - UAV Testing TrackAli Javadi, Christian Birchler. 821-822 [doi]
• PALM at the ICST 2025 Tool Competition - UAV Testing TrackShuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini. 823-824 [doi]