ICST 2025 - Journal-First Papers

Supporters

Diamond

Platinum

Silver

Bronze+

Bronze

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

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

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

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

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

Accepted Papers

	Title
	A New Perspective on the Competent Programmer Hypothesis Through the Reproduction of Real Faults With Repeated Mutations Journal-First Papers Zaheed Ahmed, Eike Schwass, Steffen Herbold, Fabian Trautsch, Jens Grabowski
	Automated Engineering of Domain-Specific Metamorphic Testing Environments Journal-First Papers Pablo Gómez-Abajo, Pablo C Canizares, Alberto Núňez, Esther Guerra, Juan de Lara Link to publication DOI
	Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing Journal-First Papers Golla Monika Rani, Sangharatna Godboley
	Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs? Journal-First Papers Lev Sorokin, Damir Safin, Shiva Nejati
	FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair Journal-First Papers Sakina Fatima, Hadi Hemmati, Lionel Briand
	Mutation-Guided Metamorphic Testing of Optimality in AI Planning Journal-First Papers Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoit Combemale Link to publication DOI
	Promoting Open Science in Test-driven Software Experiments Journal-First Papers Marcus Kessel, Colin Atkinson
	Summary of Automated Program Repair for Variability Bugs in Software Product Line Systems Journal-First Papers Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Hieu Vo Link to publication DOI

Call for Journal-First Presentations

ICST 2025 invites submissions for presentations of journal-first papers published recently in prestigious software engineering journals in all areas of software testing, verification, and validation. This will both enrich the ICST program as well as offer the authors an opportunity to present their work to the community.

Eligibility

Applications for journal papers published in:

IEEE Transactions on Software Engineering (TSE)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Software Engineering (EMSE)
Journal of Systems and Software (JSS)
Software Quality Journal (SQJ)
Information and Software Technology (IST)
Software Testing, Verification and Reliability (STVR)

Other journals may be considered on a case-by-case basis. A journal-first presentation submitted to ICST 2025 must adhere to the following criteria:

The paper was accepted for publication (i.e., the date of the acceptance notification) no earlier than 1 January 2023.
The paper is in the scope of the conference, as defined in the call for ICST 2025 research papers.
The paper reports completely new research results or presents novel contributions that were not previously reported in prior published work.
The paper has not been presented and is not under consideration for journal-first programs of other conferences.

Topics of Interest

Topics of interest include, but are not limited to, the following:

Automated test generation, e.g., fuzz testing, search-based test generation, (dynamic) symbolic execution
Manual testing practices and techniques
Security testing
Model-based testing
Test automation
Static analysis and symbolic execution
Formal verification and model checking
Software reliability
Social aspects of the software testing process
Testability and design
Testing and development processes
Testing education
Testing in specific domains, such as mobile, web, embedded/cyber-physical systems, concurrent, distributed, cloud, GUI, and real-time systems
Testing for learning-enabled software, including deep learning and Large Language Models (LLMs)
Testing video games, augmented reality
Testing/debugging tools
Theory of software testing
Empirical studies
Experience reports

Submission of Proposals

If you have a journal publication that meets the aforementioned criteria, you can submit a one-page proposal via EasyChair.

The submission should consist of:

the paper title;
names of all authors;
an extended abstract using the two-column IEEE conference publication format (same as the research track submission);
a short statement on how the work satisfies the journal-first criteria;
a pointer to the original journal paper.

Please list all authors of the original journal paper as authors of your submission in EasyChair (https://easychair.org/conferences/?conf=icst2025).

Important Dates

Journal First Submissions Deadline: Dec 1st 2024
Journal First Acceptance Notification: Dec 15th 2024
Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)

Publication

The JF manuscripts have already been, or will be, published through the journals and therefore will NOT be part of the ICST proceedings. The journal-first papers will be listed in the conference program and the proceedings will only contain the abstract and a pointer to the journal publication.

Presentation

If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and attend the conference to present the paper in person.

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

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

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

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

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)

Journal-First PapersICST 2025

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

Accepted Papers

Call for Journal-First Presentations

Eligibility

Topics of Interest

Submission of Proposals

Important Dates

Publication

Presentation

Gunel JahangirovaJournal-First Track Co-Chair

King's College London

United Kingdom

Hironori WashizakiJournal-First Track Co-Chair

Waseda University

Japan

Tracks

Workshops

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

Journal-First PapersICST 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 Journal-First Presentations

Eligibility

Topics of Interest

Submission of Proposals

Important Dates

Publication

Presentation

Gunel JahangirovaJournal-First Track Co-Chair

King's College London

United Kingdom

Hironori WashizakiJournal-First Track Co-Chair

Waseda University

Japan

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