ICST 2025 - Education

After several instances of the TestEd workshop (https://conf.researchr.org/home/icst-2024/testEd-2024) on testing education, ICST has decided to firmly establish testing education with a dedicated track. The Education Track at ICST 2025 seeks to gather and showcase top-quality contributions in the intersection between software testing and education, with a focus on difficulties, innovations, and best practices. We invite high-quality submissions related to applying software testing techniques in educational settings and teaching testing principles to different learners. We hope to extend the comprehension and teaching of software testing in all the existing educational types and formats.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30	Test OracleJournal-First Papers / Research Papers / Industry at Aula Magna (AM) Chair(s): Mike Papadakis University of Luxembourg

14:00 15m Talk		Differential Testing of Concurrent Classes Research Papers Valerio Terragni University of Auckland, Shing-Chi Cheung Hong Kong University of Science and Technology
14:15 15m Talk		Hybrid Equivalence/Non-Equivalence Testing Research Papers Laboni Sarker University of California at Santa Barbara, Tevfik Bultan University of California at Santa Barbara
14:30 15m Talk		Metamorphic Testing for Pose Estimation Systems Research Papers Matias Duran Trinity College Dublin, Ireland, Thomas Laurent Lero@Trinity College Dublin, Ellen Rushe School of Computing Dublin City University, Anthony Ventresque Trinity College Dublin & Lero, Ireland
14:45 15m Talk		Mutation-Guided Metamorphic Testing of Optimality in AI Planning Journal-First Papers Quentin Mazouni Simula Research Laboratory, Arnaud Gotlieb Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Mathieu Acher University of Rennes - Inria - CNRS - IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA Link to publication DOI
15:00 15m Talk		LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine Industry Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway

14:00 - 15:30	Insights from IndustryIndustry at Room A Chair(s): Tim A. D. Henderson Google

14:00 15m Talk		Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs Industry Jan Corazza TU Dortmund University, Ivan Gavran Informal Systems, Gabriela Moreira Informal Systems, Danel Neider TU Dortmund University
14:15 15m Talk		Evaluation of the Choice of LLM in a Multi-agent solution for GUI-test Generation Industry Stevan Tomic Blekinge Institute of Technology, Emil Alégroth Blekinge Institute of Technology, Maycel Isaac Synteda
14:30 15m Talk		Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software Industry Chengjie Lu Simula Research Laboratory and University of Oslo, Jiahui Wu Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Mikkel Labori Olsen Danish Technological Institute
14:45 15m Talk		FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform Industry Gabriel Benoit University of Namur, François Georis Odoo S.A., Géry Debongnie Odoo S.A., Benoît Vanderose University of Namur, Xavier Devroey University of Namur Pre-print
15:00 15m Talk		Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice Industry Jose Luis de la Vara Universidad de Castilla - La Mancha, Juan Manuel Morote Independent Researcher, Clara Ayora Universidad de Castilla-La Mancha, Giovanni Giachetti Universidad Andrés Bello Chile, Luis Alonso The REUSE Company, Roy Mendieta The REUSE Company, David Muñoz The REUSE Company, Ricardo Ruiz Nolasco RGB Medical Devices, Antonio González RGB Medical Devices S.A.
15:15 15m Talk		Practical Pipeline-Aware Regression Test Optimization for Continuous Integration Industry Daniel Schwendner BMW Group, Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Martin Knoche BMW Group, Daniel Merget BMW Group, Gordon Fraser University of Passau

14:00 - 15:30	EducationEducation at Room A1 Chair(s): Dietmar Pfahl University of Tartu

14:00 15m Talk		Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects? Education Ruizhen Gu University of Sheffield, José Miguel Rojas University of Sheffield, Donghwan Shin University of Sheffield Pre-print
14:15 15m Talk		Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs Education Ricardo Brancas INESC-ID, Instituto Superior Técnico, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University Pre-print
14:30 15m Talk		Experience Report on using Experiential Learning to Facilitate Learning of Bug Investigation Steps Education Adina Moldovan Altom, Oana Casapu Altom, Andreea Vescan Babes-Bolyai University
14:45 15m Talk		Requirements for an Automated Assessment Tool for Learning Programming by Doing Education Arthur Rump University of Twente, Vadim Zaytsev University of Twente, Netherlands, Angelika Mader University of Twente Pre-print
15:00 15m Talk		Teaching Bug Advocacy through Flipped Classroom Education Andreea Galbin-Nasui Babes-Bolyai University, Cluj-Napoca, Andreea Vescan Babes-Bolyai University
15:15 15m Talk		A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design Freedom Education Valerio Terragni University of Auckland, Nasser Giacaman The University of Auckland

Thu 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	Automated TestingIndustry / Research Papers / Journal-First Papers / Education at Aula Magna (AM) Chair(s): Cristian Cadar Imperial College London

11:00 15m Talk		Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT Platforms Research Papers Daniel Rodriguez-Cardenas William & Mary, Safwat Ali Khan George Mason University, Prianka Mandal William & Mary, Adwait Nadkarni William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary Pre-print
11:15 15m Talk		Many-Objective Neuroevolution for Testing Games Research Papers Patric Feldmeier University of Passau, Katrin Schmelz University of Passau, Gordon Fraser University of Passau Pre-print
11:30 15m Talk		Black-Box Testing for Practitioners Education Matthias Hamburg IEEE Computer Society; International Software Testing Qualifications Board, Adam Roman Jagiellonian University, Faculty of Mathematics and Computer Science; International Software Testing Qualifications Board
11:45 15m Talk		CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model Industry Daniele Gorla Department of Computer Science, Sapienza University of Rome, Shivam Kumar , Pietro Nicolaus Roselli Lorenzini , Alireza Alipourfaz
12:00 15m Talk		Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs? Journal-First Papers Lev Sorokin Technische Universität München, Germany, Damir Safin fortiss, Shiva Nejati University of Ottawa
12:15 15m Talk		[prerecorded] ADGE: Automated Directed GUI Explorer for Android Applications Research Papers Yue Jiang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Xiaobo Xiang Singular Security Lab, Beijing, China, Qingli Guo Institute of Information Engineering, Chinese Academy of Sciences, Qi Gong Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science

14:00 - 15:28	Advances in Software TestingResearch Papers / Short Papers, Vision and Emerging Results / Industry / Education at Room A1 Chair(s): Annibale Panichella Delft University of Technology

14:00 15m Talk		Code, Test and Coverage Evolution in Mature Software Systems: Changes over the Past Decade Research Papers Thomas Bailey Imperial College London, Cristian Cadar Imperial College London
14:15 15m Talk		Coverage Metrics for T-Wise Feature Interactions Research Papers Sabrina Böhm University of Ulm, Germany, Tim Jannik Schmidt University of Ulm, TU Braunschweig, Germany, Sebastian Krieter TU Braunschweig, Germany, Tobias Pett Karlsruhe Institute for Technology (KIT), Germany, Thomas Thüm TU Braunschweig, Germany, Malte Lochau University of Siegen
14:30 15m Talk		LLM-based Labelling of Recorded Automated GUI-based Test cases Industry Diogo Buarque Franzosi Blekinge Institute of Technology, Emil Alégroth Blekinge Institute of Technology, Maycel Isaac Synteda
14:45 15m Talk		A Tool-assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency Education Maria Couto Federal University of Pernambuco, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco, Kiev Gama Universidade Federal de Pernambuco
15:00 7m Short-paper		Pre-trained Models for Bytecode Instructions Short Papers, Vision and Emerging Results Donggyu Kim Handong Global University, Taemin Kim Handong Global University, Jiho Shin York University, Song Wang York University, Heeyoul Choi , Jaechang Nam Handong Global University Pre-print
15:07 7m Short-paper		EnCus: Customizing Search Space for Automated Program Repair Short Papers, Vision and Emerging Results Seongbin Kim , Sechang Jang , Jindae Kim Seoul National University of Science and Technology, Jaechang Nam Handong Global University Pre-print
15:14 7m Talk		Test Generation from Use Case Specifications for IoT Systems: Custom, LLM-Based, and Hybrid Approaches Short Papers, Vision and Emerging Results Zacharie Chenail-Larcher École de technologie supérieure (ÉTS), Jean Baptiste Minani Concordia University, Montreal, Canada, Naouel Moha École de Technologie Supérieure (ETS)

Accepted Papers

	Title
	A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design Freedom Education Valerio Terragni, Nasser Giacaman
	A Tool-assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency Education Maria Couto, Breno Miranda, Kiev Gama
	Black-Box Testing for Practitioners Education Matthias Hamburg, Adam Roman
	Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects? Education Ruizhen Gu, José Miguel Rojas, Donghwan Shin Pre-print
	Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs Education Ricardo Brancas, Vasco Manquinho, Ruben Martins Pre-print
	Experience Report on using Experiential Learning to Facilitate Learning of Bug Investigation Steps Education Adina Moldovan, Oana Casapu, Andreea Vescan
	Requirements for an Automated Assessment Tool for Learning Programming by Doing Education Arthur Rump, Vadim Zaytsev, Angelika Mader Pre-print
	Teaching Bug Advocacy through Flipped Classroom Education Andreea Galbin-Nasui, Andreea Vescan

Call for Papers

Scope and Topics of Interest

We welcome original contributions covering a broad range of topics related to testing in education and the education of testing. Topics of interests include but are not limited to:

Testing for Education

Methods of Integrating Software Testing in Educational Curricula: Approaches for embedding testing principles and practices in non-testing courses in computer science.
Tools and Technologies for Automated Testing in Education: Empirical studies that evaluate the use of automated testing tools for automated assessment and feedback.
Innovative Testing Techniques and Tools in Educational Software: Research on the application of novel testing techniques in developing and maintaining educational tools and platforms.
Testing Educational Software for Accessibility and Inclusivity: Ensuring that educational tools and software are accessible to all learners.

Education about Testing

Pedagogical Strategies for Teaching Software Testing: Methods and best practices for teaching software testing principles at all educational levels.
Educational Resources and Tools for Teaching Testing: The development and use of textbooks, tutorials, and online resources focused on software testing.
Industry-Academia Collaboration in Testing Education: Initiatives that foster collaboration between industry and academia to improve the teaching of software testing.
Ethical and Societal Issues in Software Testing Education: Addressing the ethical implications and societal impacts of teaching testing practices.
AI and Machine Learning in Testing Education: The role of AI and machine learning in teaching and improving testing practices.

Submission Categories

ICST 2025 encourages submissions in the following categories:

Research Papers: Detailed studies and contributions that provide new insights into testing for education or education about testing.
Experience Reports: Descriptions of innovative practices and methodologies used in educational settings to teach or apply testing.
Position Papers: Thought-provoking arguments and perspectives on the future of testing in education or the education of testing.
Tool Papers: Presenting testing tools for education and educational tools for testing.

Submission format:

All submissions of this track must conform to the two-column IEEE conference publication format. The page limit for research papers and experience reports is 10 pages, including all text, figures, tables, and appendices; two additional pages containing only references are permitted. For position papers and tool papers, the page limit is of 4 pages (including all text, figures, tables, and appendices) and two additional pages for references. All submissions must conform to the IEEE Conference Proceedings Formatting Guidelines (use the letter format template and conference option).

How to submit:

Papers must be submitted electronically through EasyChair at the following link: https://easychair.org/conferences/?conf=icst2025. When submitting the paper, select the track “Educational track - ICST 2025” . All submissions must be in English. Authors must comply with the IEEE Plagiarism Guidelines. In particular, a submission must not have been published elsewhere and must not be under review elsewhere while under review for ICST. The submission must also comply with the IEEE Policy on Authorship.

Important Dates

Paper Submission Deadline: November 1st, 2024
Notification of Acceptance: December 7th 2024
Camera-Ready Submission: January 19th, 2025

12:30 - 14:00	LunchSocial at Room A3

12:30 90m Lunch		Lunch Social

15:30 - 16:00	BreakSocial at Buffet Area

15:30 30m Coffee break		Break Social

16:00 - 17:00	Test Case Selection, Prioritisation, ReductionResearch Papers / Industry at Aula Magna (AM) Chair(s): Andrea Stocco Technical University of Munich, fortiss

16:00 15m Talk		The Impact of List Reduction for Language Agnostic Test Case Reducers Research Papers Tobias Heineken Friedrich-Alexander-Universität Erlangen-Nürnberg, Michael Philippsen Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), Programming Systems Group
16:15 15m Talk		RustyRTS: Regression Test Selection for Rust Research Papers Simon Hundsdorfer Technical University of Munich, Roland Würsching Technical University of Munich, Alexander Pretschner TU Munich
16:30 15m Talk		ML-Based Test Case Prioritization: A Research and Production Perspective in CI Environments Industry Md Asif Khan Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM)
16:45 15m Talk		Evaluating Machine Learning-Based Test Case Prioritization in the Real World: An Experiment with SAP HANA Industry Jeongki Son SAP Labs Korea, Gabin An KAIST, Jingun Hong SAP Labs, Shin Yoo KAIST

16:00 - 17:00	Software Testing and Fault AnalysisJournal-First Papers / Short Papers, Vision and Emerging Results at Room A Chair(s): Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II

16:00 15m Talk		Promoting Open Science in Test-driven Software Experiments Journal-First Papers Marcus Kessel University of Mannheim, Colin Atkinson University of Mannheim
16:15 15m Talk		A New Perspective on the Competent Programmer Hypothesis Through the Reproduction of Real Faults With Repeated Mutations Journal-First Papers Zaheed Ahmed University of Goettingen, Eike Schwass , Steffen Herbold University of Passau, Fabian Trautsch University of Göttingen, Jens Grabowski
16:30 7m Talk		Addressing Data Leakage in HumanEval Using Combinatorial Test Design Short Papers, Vision and Emerging Results Jeremy Bradbury Ontario Tech University, Riddhi More Ontario Tech University
16:37 7m Talk		Towards Refined Code Coverage: A New Predictive Problem in Software Testing Short Papers, Vision and Emerging Results Carolin Brandt Delft University of Technology, Aurora Ramírez University of Córdoba Pre-print
16:44 7m Talk		Weighted Call Frequency-based Fault Localization Short Papers, Vision and Emerging Results Attila Szatmári , ORBAN, Aondowase James , Tamás Gergely Department of Software Engineering, University of Szeged
16:51 7m Talk		Towards Cross-Build Differential Testing Short Papers, Vision and Emerging Results Jens Dietrich Victoria University of Wellington, Tim White , Valerio Terragni University of Auckland, Behnaz Hassanshahi Oracle Labs, Australia

11:00 - 12:22	LLMs in TestingResearch Papers / Short Papers, Vision and Emerging Results at Room A Chair(s): Valerio Terragni University of Auckland

11:00 15m Talk		Improving the Readability of Automatically Generated Tests using Large Language Models Research Papers Matteo Biagiola Università della Svizzera italiana, Gianluca Ghislotti Università della Svizzera italiana, Paolo Tonella USI Lugano
11:15 15m Talk		Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation Research Papers Azat Abdullin JetBrains Research, TU Delft, Pouria Derakhshanfar JetBrains Research, Annibale Panichella Delft University of Technology
11:30 15m Talk		Benchmarking Open-source Large Language Models For Log Level Suggestion Research Papers Yi Wen HENG Concordia University, Zeyang Ma Concordia University, Zhenhao Li York University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University
11:45 15m Talk		Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMs Research Papers Zhuolin Xu Concordia University, Qiushi Li Concordia University, Shin Hwei Tan Concordia University
12:00 15m Talk		Benchmarking Generative AI Models for Deep Learning Test Input Generation Research Papers Maryam Maryam University of Udine, Matteo Biagiola Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss, Vincenzo Riccio University of Udine Pre-print
12:15 7m Talk		Leveraging Large Language Models for Explicit Wait Management in End-to-End Web Testing Short Papers, Vision and Emerging Results Dario Olianas DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Filippo Ricca Università di Genova

11:00 - 12:30	LLMs in TestingResearch Papers / Industry / Journal-First Papers at Aula Magna (AM) Chair(s): Phil McMinn University of Sheffield

11:00 15m Talk		AugmenTest: Enhancing Tests with LLM-driven Oracles Research Papers Shaker Mahmud Khandaker Fondazione Bruno Kessler, Fitsum Kifetew Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler Pre-print
11:15 15m Talk		Impact of Large Language Models of Code on Fault Localization Research Papers Suhwan Ji Yonsei University, Sanghwa Lee Kangwon National University, Changsup Lee Kangwon National University, Yo-Sub Han Yonsei University, Hyeonseung Im Kangwon National University, South Korea
11:30 15m Talk		An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification Research Papers Riddhi More Ontario Tech University, Jeremy Bradbury Ontario Tech University
11:45 15m Talk		Evaluating the Effectiveness of LLMs in Detecting Security Vulnerabilities Research Papers Avishree Khare , Saikat Dutta Cornell University, Ziyang Li University of Pennsylvania, Alaia Solko-Breslin University of Pennsylvania, Mayur Naik UPenn, Rajeev Alur University of Pennsylvania
12:00 15m Talk		FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair Journal-First Papers Sakina Fatima University of Ottawa, Hadi Hemmati York University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
12:15 15m Talk		Integrating LLM-based Text Generation with Dynamic Context Retrieval for GUI Testing Industry Juyeon Yoon Korea Advanced Institute of Science and Technology, Seah Kim Samsung Research, Somin Kim Korea Advanced Institute of Science and Technology, Sukchul Jung Samsung Research, Shin Yoo KAIST

11:00 - 12:30	Testing, Localisation and RepairJournal-First Papers / Research Papers / Industry at Room A Chair(s): Shin Yoo KAIST

11:00 15m Talk		A Taxonomy of Integration-relevant Faults for Microservice Testing Research Papers Lena Gregor Technical University of Munich, Anja Hentschel Siemens AG, Leon Kastner Technical University of Munich, Alexander Pretschner TU Munich Pre-print
11:15 15m Talk		Suspicious Types and Bad Neighborhoods- Filtering Spectra with Compiler Information Research Papers Leonhard Applis Delft University of Technology, Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Annibale Panichella Delft University of Technology
11:30 15m Talk		Summary of Automated Program Repair for Variability Bugs in Software Product Line Systems Journal-First Papers Thu-Trang Nguyen , Xiao-Yi Zhang University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Hieu Vo VNU University of Engineering and Technology Link to publication DOI
11:45 15m Talk		Automated Engineering of Domain-Specific Metamorphic Testing Environments Journal-First Papers Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Link to publication DOI
12:00 15m Talk		Speculative Testing at Google with Transition Prediction Industry Avi Kondareddy Google, Sushmita Azad Google, Abhayendra Singh Google, Inc, Tim A. D. Henderson Google Link to publication Pre-print
12:15 15m Talk		Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers’ Perspectives Research Papers XIAOXIAO GAN Virginia Tech, Huayu Liang Virginia Tech, Chris Brown Virginia Tech

11:00 - 12:30	Fuzzing and SecurityResearch Papers / Industry / Journal-First Papers at Room A1 Chair(s): Serge Demeyer University of Antwerp and Flanders Make vzw

11:00 15m Talk		SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller Research Papers Ao Li Carnegie Mellon University, Rohan Padhye Carnegie Mellon University, Vyas Sekar Carnegie Mellon University
11:15 15m Talk		Mutation-based Fuzzing of the Swift Compiler With Incomplete Type Information Research Papers Sarah Canto Hyatt University of California, Santa Barbara, Kyle Dewey California State University, Northridge
11:30 15m Talk		Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing Research Papers Manuel Carrasco Imperial College London, Cristian Cadar Imperial College London, Alastair F. Donaldson Imperial College London
11:45 15m Talk		Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions Industry Andrea Arcuri Kristiania University College and Oslo Metropolitan University, Alexander Poth Volkswagen AG, Olsi Rrjolli Volkswagen AG
12:00 15m Talk		Compiler Fuzzing in Continuous Integration: a Case Study on Dafny Industry Karnbongkot Boonriong Imperial College London, Stefan Zetzsche Amazon Web Services, Alastair F. Donaldson Imperial College London
12:15 15m Talk		Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing Journal-First Papers Golla Monika Rani , Sangharatna Godboley National Institute of Technology Warangal

11:00 - 12:30	Testing ML Systems and Fault LocalisationIndustry / Research Papers at Aula Magna (AM) Chair(s): Atif Memon Apple

11:00 15m Talk		On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering Research Papers Lauren Lyons Auburn University, Ali Ghanbari Auburn University Pre-print
11:15 15m Talk		Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems Research Papers Stefano Carlo Lambertenghi Technische Universität München, fortiss GmbH, Hannes Leonhard Technical University of Munich, Andrea Stocco Technical University of Munich, fortiss Pre-print
11:30 15m Talk		Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code Research Papers Shahin Honarvar Imperial College London, Mark van der Wilk University of Oxford, Alastair F. Donaldson Imperial College London
11:45 15m Talk		Taming Uncertainty for Critical Scenario Generation in Automated Driving Industry Selma Grosse DENSO Automotive GmbH, Dejan Nickovic Austrian Institute of Technology, Cristinel Mateis AIT Austrian Institute of Technology GmbH, Alessio Gambi Austrian Institute of Technology (AIT), Adam Molin DENSO AUTOMOTIVE
12:00 15m Talk		Multi-Project Just-in-Time Software Defect Prediction Based on Multi-Task Learning for Mobile Applications Research Papers Feng Chen Chongqing University of Posts and Telecommunications, Ke Yuxin Chongqing University of Posts and Telecommunications, Liu Xin Chongqing University of Posts and Telecommunications, Wei Qingjie Chongqing University of Posts and Telecommunications
12:15 15m Talk		Fault Localization via Fine-tuning Large Language Models with Mutation Generated Stack Traces Industry Neetha Jambigi University of Cologne, Bartosz Bogacz SAP SE, Moritz Mueller SAP SE, Thomas Bach SAP, Michael Felderer German Aerospace Center (DLR) & University of Cologne

14:00 - 15:30	Test QualityResearch Papers / Short Papers, Vision and Emerging Results / Industry at Aula Magna (AM) Chair(s): Carolin Brandt Delft University of Technology

14:00 15m Talk		Detecting and evaluating order-dependent flaky tests in JavaScript Research Papers Negar Hashemi Massey University, Amjed Tahir Massey University, Shawn Rasheed Universal College of Learning, August Shi The University of Texas at Austin, Rachel Blagojevic Massey University Pre-print
14:15 15m Talk		An empirical study of web flaky tests: Understanding and unveiling DOM event interaction challenges Research Papers yu pei , Jeongju Sohn Kyungpook National University, Mike Papadakis University of Luxembourg
14:30 15m Talk		On The Energy Consumption of Test Generation Research Papers Fitsum Kifetew Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler Pre-print
14:45 7m Talk		Improving the Comprehensibility of Generated Test Suites Using Test Case Clustering Short Papers, Vision and Emerging Results Mitchell Olsthoorn Delft University of Technology
14:52 7m Talk		Harnessing Test Call Structures for Improved Fault Localization Effectiveness Short Papers, Vision and Emerging Results Attila Szatmári
14:59 7m Talk		Batch Execution of Microbenchmarks for Efficient Performance Testing Short Papers, Vision and Emerging Results Mostafa Jangali Concordia University, Kundi Yao University of Waterloo, Yiming Tang Rochester Institute of Technology, Diego Elias Costa Concordia University, Canada, Weiyi Shang University of Waterloo
15:06 15m Talk		A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software Industry Alexis L. Marsh Iowa State University, Myra Cohen Iowa State University, Robert Cottingham Oak Ridge National Laboratory

EducationICST 2025

Program Display Configuration

Wed 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Accepted Papers

Call for Papers

Xuan Bach D. LeEducational Track Co-Chair

The University of Melbourne

Australia

Lin Deng

Towson University

United States

Xavier Devroey

University of Namur

Belgium

Michael Felderer

German Aerospace Center (DLR) & University of Cologne

Germany

Gordon FraserEducational Track Co-Chair

University of Passau

Beatriz Marín

Universitat Politècnica de València

Spain

Ana Paiva

INESC TEC, Faculty of Engineering, University of Porto

Portugal

Annibale PanichellaEducational Track Co-Chair

Delft University of Technology

Netherlands

Upsorn Praphamontripong

University at Albany

United States

José Miguel Rojas

University of Sheffield

United Kingdom

Philipp Straubinger

University of Passau

Germany

Wed 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change