Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 31 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 31 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Social | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Official Opening IWCT | ||
09:10 60mKeynote | Juraj Somorovsky: Lessons learned from systematic security testing of TLS IWCT | ||
10:10 20mShort-paper | Towards Continuous Integration for Combinatorial Testing IWCT Manuel Leithner SBA Research, Jovan Zivanovic MATRIS Research Group, SBA Research, Reinhard Kugler SBA Research, Dimitris Simos SBA Research | ||
09:00 - 09:10 | |||
09:00 10mDay opening | InSTA 2025 Opening InSTA | ||
09:00 - 09:30 | |||
09:15 15mDay opening | Welcome NEXTA Jeremy Bradbury Ontario Tech University | ||
09:10 - 10:30 | |||
09:10 80mKeynote | What is the Best Model? - A Discourse on Modeling Paradigms Used in Model-based Testing A-MOST Franz Wotawa Graz University of Technology | ||
09:10 - 10:10 | |||
09:10 60mKeynote | Oracle Generation for Autonomous Driving: Leveraging Human-Aligned Quality Metrics for Fault DetectionKeynote ITEQS Link to publication | ||
09:10 - 10:25 | |||
09:10 25mResearch paper | Establishing Utilization Decision Criteria for Open- Source Software Projects Based on Issue Resolution Time Evaluation InSTA | ||
09:35 25mResearch paper | The Evaluation of Ambiguity Based on the Distance Between Transitive Verbs and Objects in Japanese InSTA | ||
10:00 25mResearch paper | A Language Framework for Test(-ware) Architecture InSTA | ||
09:30 - 10:30 | |||
09:30 60mKeynote | Threats to Instrument Validity within “in Silico” Research: Software Testing to the Rescue NEXTA Serge Demeyer University of Antwerp and Flanders Make vzw | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models IWCT Paolo Arcaini National Institute of Informatics
, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo | ||
11:30 30mFull-paper | Combinatorial Test Design Model Creation using Large Language Models IWCT Deborah Furman IBM, Eitan Farchi IBM Haifa Research Lab, Michael Gildein IBM, Andrew Hicks IBM, Ryan Rawlins IBM | ||
12:00 30mFull-paper | Evaluating Large Language Model Robustness Using Combinatorial Testing IWCT Jaganmohan Chandrasekaran Virginia Tech, Ankita Ramjibhai Patel The University of Texas at Arlington, Erin Lanus Virginia Tech, Laura Freeman Virginia Tech | ||
11:00 - 12:20 | |||
11:00 30mTalk | Novel Algorithm to Solve the Constrained Path-based Testing Problem A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Marek Miltner Stanford University, Chad Zanocco Stanford University, Gordon Fraser University of Passau, Sebastian Schweikl University of Passau, Patric Feldmeier University of Passau | ||
11:30 30mTalk | CPT Manager: An Open Environment for Constrained Path-based Testing A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Daniel Holotik Czech Technical University in Prague, Maximilian Herczeg Czech Technical University in Prague, Marek Miltner Stanford University, Chad Zanocco Stanford University | ||
12:00 30mTalk | Towards Improving Automated Testing with GraphWalker A-MOST Yavuz Koroglu Graz University of Technology, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Franz Wotawa Technische Universitaet Graz Media Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application TestingBest Paper Candidate ITEQS Bestoun S. Ahmed Karlstad University, Ludwig Otto Baader Ludwig Maximilians University Munich, Firas Bayram Karlstad University, Siri Jagstedt Karlstad University, Peter Magnusson Karlstad University | ||
11:30 30mTalk | Using Reinforcement Learning for Security Testing: A Systematic Mapping Study ITEQS Tanwir Ahmad Åbo Akademi University, Matko Butkovic Åbo Akademi University, Dragos Truscan Åbo Akademi University | ||
12:00 30mTalk | Visual spectrum-based fault localization for Python programs based on the differentiation of execution slices ITEQS Shehroz Khan Åbo Akademi University, Gaadha Sudheerbabu Åbo Akademi University, Bianca Elena Staicu Åbo Akademi University, Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University | ||
11:00 - 12:15 | |||
11:00 25mResearch paper | Test Architecture for Business-Aligned Testing of Distributed Enterprise IT Systems InSTA Mahesh Venkataraman Accenture, Koushik Vijayaraghavan Accenture, Ram Ramalingam Accenture, Gaetano Sagliocco Accenture | ||
11:25 25mResearch paper | Enhancing SaaS Product Reliability and Release Velocity through Optimized Testing Approach InSTA | ||
11:50 25mResearch paper | AIs Understanding of Software Test Architecture InSTA Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO, tom wissink Grand Software Testing | ||
11:00 - 12:30 | |||
11:00 25mResearch paper | Influence of Pure and Unit-Like Tests on SBFL Effectiveness: An Empirical Study. NEXTA Attila Szatmári , Tamás Gergely Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged | ||
11:25 25mResearch paper | Witness Test Program Generation Through AST Node Combinations NEXTA HeuiChan Lim Davidson College | ||
11:50 25mResearch paper | Adaptive Testing for LLM-Based Applications: A Diversity-based Approach NEXTA Juyeon Yoon Korea Advanced Institute of Science and Technology, Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology, Shin Yoo KAIST | ||
12:15 10mOther | Future Work in Test Automation NEXTA | ||
12:25 5mDay closing | Closing NEXTA | ||
14:00 - 15:30 | |||
14:00 30mTalk | Automata Learning for React Web Applications A-MOST | ||
14:30 30mTalk | Mutating Skeletons - Learning Timed Automata via Domain Knowledge A-MOST Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Florian Lorber Silicon Austria Labs, Martin Tappler TU Wien, Austria | ||
15:00 30mTalk | SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT A-MOST Manon Galloy NADI, University of Namur, Martin Balfroid NADI, University of Namur, Benoît Vanderose University of Namur, Xavier Devroey University of Namur Pre-print | ||
14:00 - 15:00 | |||
14:00 30mTalk | A Protocol Fuzzing Framework to Detect Remotely Exploitable Vulnerabilities in IoT NodesBest Paper Candidate ITEQS | ||
14:30 30mTalk | Unified Search for Multi-Requirement Falsification for Cyber-Physical Systems ITEQS | ||
15:00 - 15:10 | |||
15:00 10mDay closing | Closing and Future ITEQS ITEQS | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Social | ||
16:00 - 17:20 | |||
16:00 30mFull-paper | Data Frequency Coverage Impact on AI Performance IWCT Erin Lanus Virginia Tech, Brian Lee Virginia Tech, Jaganmohan Chandrasekaran Virginia Tech, Laura Freeman Virginia Tech, M S Raunak National Institute of Standards and Technology, Raghu Kacker National Institute of Standards and Technology, Rick Kuhn National Institute of Standards and Technology | ||
16:30 30mFull-paper | A Combinatorial Approach to Reduce Machine Learning Dataset Size IWCT Megan Olsen Loyola University Maryland, M S Raunak National Institute of Standards and Technology, Rick Kuhn National Institute of Standards and Technology, Fenrir Badorf Loyola University Maryland, Hans van Lierop Loyola University Maryland, Francis Durso Johns Hopkins University | ||
17:00 30mFull-paper | Fairness Testing of Machine Learning Models Using Combinatorial Testing in Latent Space IWCT Arjun Dahal University of Texas at Arlington, Sunny Shree University of Texas at Arlington, USA, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, D. Richard Kuhn National Institute of Standards and Technology | ||
16:00 - 17:30 | |||
16:00 30mTalk | Model-based Testing Computer Games: Does It Work? A-MOST Wishnu Prasetya Utrecht University Pre-print | ||
16:30 60mPanel | Discussion on AI and Testing A-MOST | ||
17:20 - 17:30 | |||
17:30 5mDay closing | Official Adjournement IWCT | ||
17:30 - 18:00 | |||
17:35 25mMeeting | IWCT Steering Committee Meeting (Open invitation to IWCT participants to join!) IWCT | ||
Tue 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Social | ||
09:00 - 09:10 | |||
09:00 10mDay opening | Opening SAFE-ML | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Mutation Testing in the Trenches Mutation Gregory Gay Chalmers University of Technology and University of Gothenburg | ||
09:10 - 10:30 | KeynoteSAFE-ML at Aula Magna (AM) Chair(s): Carlo Mazzocca Università di Salerno Prof. Mauro Conti, “Brave New Threat: The Rise of Covert and Side Channels” | ||
09:10 - 10:30 | |||
09:10 - 10:30 | |||
09:10 30mTalk | Adaptive Test Healing using LLM/GPT and Reinforcement Learning AIST | ||
09:40 30mTalk | A System for Automated Unit Test Generation Using Large Language Models and Assessment of Generated Test Suites AIST Andrea Lops Polytechnic University of Bari, Italy, Fedelucio Narducci Polytechnic University of Bari, Azzurra Ragone University of Bari, Michelantonio Trizio Wideverse, Claudio Bartolini Wideverse s.r.l. | ||
10:10 20mTalk | From Implemented to Expected Behaviors: Leveraging Regression Oracles for Non-Regression Fault Detection Using LLMs AIST Stefano Ruberto JRC European Commission, Judith Perera University of Auckland, Gunel Jahangirova King's College London, Valerio Terragni University of Auckland | ||
09:15 - 10:30 | |||
09:15 75mKeynote | EndGame: Lessons learned while gamifying End-2-End testing A-TEST | ||
10:00 - 10:30 | |||
10:00 30mTalk | Code Critters Presentation Mutation Philipp Straubinger University of Passau | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
11:00 - 12:20 | Security and Privacy in Fedetated Learning SystemsSAFE-ML at Aula Magna (AM) Chair(s): Carlo Mazzocca Università di Salerno 11:00 – Towards A Common Task Framework for Distributed Collaborative Machine Learning Qianying Liao, Dimitri Van Landuyt, Davy Preuveneers and Wouter Joosen 11:15 – Federated Learning under Attack: Game-Theoretic Mitigation of Data Poisoning Marco De Santis and Christian Esposito 11:40 – Privacy-Preserving in Federated Learning: A Comparison Between Differential Privacy and Homomorphic Encryption Across Different Scenarios Alessio Catalfamo, Maria Fazio, Antonio Celesti and Massimo Villari 11:55 – Exploring and Mitigating Gradient Leakage Vulnerabilities in Federated Learning Harshit Gupta, Ghena Barakat, Luca D’Agati, Francesco Longo, Giovanni Merlino and Antonio Puliafito | ||
11:00 - 12:30 | |||
11:00 20mTalk | Improving Developer Satisfaction through focusing on problems that provably matter CCIW Link to publication | ||
11:25 20mTalk | Shifting Gears in Continuous Integration: BMW’s Strategies for High-Velocity Builds CCIW Maximilian Jungwirth BMW Group, University of Passau, Simon Rummert BMW Group, Alexander Scott BMW Group, Gordon Fraser University of Passau | ||
11:45 20mTalk | Multi-Architecture Testing at Google CCIW Tim A. D. Henderson Google, Sushmita Azad Google, Avi Kondareddy Google, Abhayendra Singh Google, Inc | ||
12:10 20mTalk | The Art of Managing Flaky Tests at Scale CCIW Oleg Andreyev Okta Pre-print | ||
11:00 - 12:30 | |||
11:00 90mPanel | Evaluating Large Language Models for Software Testing: the Good, the Bad, and the Ugly AIST Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Vincenzo Riccio University of Udine, Annibale Panichella Delft University of Technology, Gunel Jahangirova King's College London | ||
11:00 - 12:30 | |||
11:00 30mPaper | Equivalent Mutants: Deductive Verification to the Rescue Mutation Serge Demeyer University of Antwerp and Flanders Make vzw, Reiner Hähnle Technical University of Darmstadt | ||
11:30 30mPaper | Exploring Robustness of Image Recognition Models on Hardware Accelerators Mutation Nikolaos Louloudakis University of Edinburgh, Perry Gibson University of Glasgow, José Cano University of Glasgow, Ajitha Rajan University of Edinburgh | ||
12:00 30mPaper | Semantic-Preserving Transformations as Mutation Operators: A Study on Their Effectiveness in Defect Detection Mutation Max Hort Simula Research Laboratory, Linas Vidziunas , Leon Moonen Simula Research Laboratory and BI Norwegian Business School | ||
14:00 - 15:30 | Robustness, Verification, and Security in AI SystemsSAFE-ML at Aula Magna (AM) Chair(s): Alessio Mora Alma Mater Studiorum - Università di Bologna 14:00 – Quantifying Correlations of Machine Learning Models Yuanyuan Li, Neeraj Sarna and Yang Lin 14:25 – Structural Backdoor Attack on IoT Malware Detectors Via Graph Explainability Yu-Cheng Chiu, Maina Bernard Mwangi, Shin-Ming Cheng and Hahn-Ming Lee 14:50 – Black-Box Multi-Robustness Testing for Neural Networks Mara Downing and Tevfik Bultan 15:15 – Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software Juan Manuel Baldonado, Flavia Bonomo-Braberman and Víctor Adrián Braberman | ||
14:00 - 15:30 | |||
14:00 20mTalk | Unified Testing Intelligence: Optimizing CI/CD for Distributed Enterprise IT Systems with Generative AI powered Omni-Functional Insights CCIW Mahesh Venkataraman Accenture, Koushik Vijayaraghavan Accenture, Ram Ramalingam Accenture, Gaetano Sagliocco Accenture | ||
14:25 20mTalk | Unlocking New Practical Advantages of Machine Learning via Generating Large Amounts of High-Quality Data about Software Faults CCIW Neetha Jambigi University of Cologne, Marc Türke SAP SE, Bartosz Bogacz SAP SE, Thomas Bach SAP, Michael Felderer German Aerospace Center (DLR) & University of Cologne | ||
14:45 20mTalk | Continuous Evaluation: Using CI Techniques For Experimentation At Scale CCIW Nilesh Jagnik Google | ||
14:00 - 15:30 | |||
14:00 30mTalk | Test Case Generation for Dialogflow Task-Based Chatbots A-TEST Rocco Gianni Rapisarda University of Milano-Bicocca, Davide Ginelli University of Milano-Bicocca, Diego Clerissi DIBRIS, University of Genova, Italy, Leonardo Mariani University of Milano-Bicocca | ||
14:30 30mTalk | Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models A-TEST Tim Rosenbach German Aerospace Center (DLR) Institute for Software Technology, Alexander Weinert German Aerospace Center (DLR) Institute for Software Technology, David Heidrich German Aerospace Center (DLR) | ||
15:00 30mTalk | SleepReplacer-GPT: AI-based Thread Sleep Replacement in Selenium WebDriver Tests A-TEST Dario Olianas , Maurizio Leotta DIBRIS, University of Genova, Italy, Filippo Ricca Università di Genova | ||
14:00 - 15:30 | |||
14:00 90mKeynote | AI Testing AI: Creating positive feedback loops for improved AIST Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology | ||
14:00 - 15:00 | |||
14:00 60mKeynote | Mutation Testing at Meta Mutation Mark Harman Meta Platforms, Inc. and UCL | ||
15:00 - 15:30 | |||
15:00 30mPaper | Mutation Testing via Iterative Large Language Model-driven Scientific Debugging Mutation Philipp Straubinger University of Passau, Marvin Kreis University of Passau, Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Social | ||
16:00 - 16:15 | |||
16:00 15mDay closing | Closing SAFE-ML | ||
16:00 - 17:30 | |||
16:00 90mPanel | What are the biggest challenges in large scale CI/CD? CCIW | ||
16:00 - 16:30 | |||
16:00 30mTalk | Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing A-TEST Raihana Ferdous Consiglio Nazionale delle Ricerche (CNR), Fitsum Kifetew Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler | ||
16:00 - 17:20 | |||
16:00 30mTalk | Generating Latent Space-Aware Test Cases for Neural Networks Using Gradient-Based Search AIST Simon Speth Technical University of Munich, Christoph Jasper TUM, Claudius Jordan , Alexander Pretschner TU Munich Pre-print | ||
16:30 20mTalk | Test2Text: AI-Based Mapping between Autogenerated Tests and Atomic Requirements AIST Elena Treshcheva Exactpro, Iosif Itkin Exactpro Systems, Rostislav Yavorskiy Exactpro Systems, A: Nikolai Dorofeev | ||
16:50 30mTalk | LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs (pre-recorded video presentation + online Q&A) AIST André Mesquita Rincon Federal Institute of Tocantins (IFTO) / Federal University of São Carlos (UFSCar), Auri Vincenzi Federal University of São Carlos, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
16:00 - 16:30 | |||
16:00 30mPaper | Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants Mutation Asma Hamidi University of Luxembourg, Ahmed Khanfir Mediterranean Institute of Technology, South Mediterranean University, Tunisia, Mike Papadakis University of Luxembourg | ||
16:30 - 17:30 | |||
16:30 60mPanel | Panel Mutation Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Shin Yoo KAIST, Gunel Jahangirova King's College London, Gregory Gay Chalmers University of Technology and University of Gothenburg, Mike Papadakis University of Luxembourg | ||
Wed 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
08:00 30mRegistration | Registration Social | ||
09:00 - 09:30 | OpeningSocial at Aula Magna (AM) & A1 (streaming) Chair(s): Aldeida Aleti Monash University, Anna Rita Fasolino Federico II University of Naples, Ali Mesbah University of British Columbia, Sebastiano Panichella University of Bern | ||
09:00 30mSocial Event | Opening Social | ||
09:30 - 10:30 | Keynote 1Keynotes at Aula Magna (AM) & A1 (streaming) Chair(s): Anna Rita Fasolino Federico II University of Naples, Ali Mesbah University of British Columbia | ||
09:30 60mKeynote | Repurposing automated testing for ML software development and deployment Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
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 15mTalk | 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 15mTalk | 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 15mTalk | An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification Research Papers | ||
11:45 15mTalk | 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 15mTalk | 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 15mTalk | 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 | Poster at Service Room | ||
11:00 90mMeeting | Sponsor Exhibition Sponsor Exhibitions | ||
14:00 - 15:30 | Test OracleJournal-First Papers / Research Papers / Industry at Aula Magna (AM) Chair(s): Mike Papadakis University of Luxembourg | ||
14:00 15mTalk | Differential Testing of Concurrent Classes Research Papers Valerio Terragni University of Auckland, Shing-Chi Cheung Hong Kong University of Science and Technology | ||
14:15 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 | ||
15:30 - 16:00 | |||
15:30 30mCoffee 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | Evaluating Machine Learning-Based Test Case Prioritization in the Real World: An Experiment with SAP HANA Industry | ||
17:00 - 18:00 | |||
17:00 60mSocial Event | Open Steering Committee Meeting Social | ||
Thu 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
07:30 - 08:30 | |||
07:30 60mRegistration | Registration Social | ||
08:15 - 09:30 | PanelKeynotes at Aula Magna (AM) & A1 (streaming) Chair(s): Anna Rita Fasolino Federico II University of Naples, Alessio Gambi Austrian Institute of Technology (AIT), Sebastiano Panichella University of Bern, Vincenzo Riccio University of Udine | ||
08:15 37mPanel | ICST 2025 Panel: Research, Industry, and Emerging Frontiers Keynotes P: Atif Memon Apple, P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, P: Michele Ignarra Hitachi Rail, P: Myra Cohen Iowa State University, P: Davide Salomoni Fondazione ICSC | ||
09:30 - 10:30 | |||
09:30 60mKeynote | LLMs: killers or boosters of software testing research? Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
11:00 - 12:30 | Testing ML Systems and Fault LocalisationIndustry / Research Papers at Aula Magna (AM) Chair(s): Atif Memon Apple | ||
11:00 15mTalk | On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering Research Papers Pre-print | ||
11:15 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 | ||
11:00 - 12:30 | Testing Tools and Data ShowcaseTesting Tools and Data Showcase at Room A1 Chair(s): Domenico Bianculli University of Luxembourg | ||
11:00 15mTalk | Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm Testing Tools and Data Showcase Wishaal Kanhai , Ivar van Loon , Yuraj Mangalgi , Thijs van der Valk , Lucas Witte Delft University of Technology, Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
11:15 15mTalk | RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools Testing Tools and Data Showcase Davide Corradini University of Luxembourg, Michele Pasqua University of Verona, Mariano Ceccato University of Verona | ||
11:30 15mTalk | ViMoTest: A Tool to Specify ViewModel-based GUI Test Scenarios using Projectional Editing Testing Tools and Data Showcase Mario Fuksa University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Steffen Becker University of Stuttgart | ||
11:45 15mTalk | E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-level Tests Testing Tools and Data Showcase Sergio Di Meglio Università degli Studi di Napoli Federico II, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Sergio Di Martino Università degli Studi di Napoli Federico II | ||
12:00 15mTalk | AMBER: AI-enabled Java Microbenchmark Harness Testing Tools and Data Showcase Antonio Trovato University of Salerno, Luca Traini University of L'Aquila, Federico Di Menna University of L'Aquila, Dario Di Nucci University of Salerno Pre-print | ||
12:15 15mTalk | Codehacks: A Dataset of Adversarial Tests For Competitive Programming Problems Obtained From Codeforces Testing Tools and Data Showcase Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School | ||
11:00 - 12:30 | TutorialsTechnical Briefings and Tutorials at Room B Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Andrea De Lucia University of Salerno | ||
11:00 90mTutorial | A Brief Developer's Guide to Building and Testing Accessible Mobile Apps Technical Briefings and Tutorials Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Leonel Merino Pontificia Universidad Católica de Chile, Alison Fernandez-Blanco Pontificia Universidad Católica de Chile, William Ravelo-Mendez Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Colombia, Mario Linares-Vasquez Universidad de los Andes | ||
11:45 5mBreak | Short Break Technical Briefings and Tutorials | ||
11:00 - 12:30 | Poster at Service Room | ||
11:00 90mMeeting | Sponsor Exhibition Sponsor Exhibitions | ||
14:30 - 18:30 | |||
14:30 4hSocial Event | Guided Tours Social | ||
Fri 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
07:00 - 07:45 | |||
07:00 45mSocial Event | Running Social Events | ||
08:00 - 08:30 | |||
08:00 30mRegistration | Registration Social | ||
09:00 - 10:30 | Awards & Most Influential PaperSocial at Aula Magna (AM) & A1 (streaming) Chair(s): Aldeida Aleti Monash University, Ali Mesbah University of British Columbia | ||
09:00 30mAwards | Awards Social | ||
09:30 60mAwards | Most Influential Paper Social | ||
09:00 - 10:30 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
09:00 10mTalk | Opening Doctoral Symposium | ||
09:10 40mKeynote | How to Give a Great Presentation - For Software Engineering Researchers Doctoral Symposium | ||
09:50 20mTalk | Toward Tool-Agnostic Guidelines for Expert Debugging Strategies Doctoral Symposium | ||
10:10 20mTalk | Adversarial Testing with Reinforcement Learning Doctoral Symposium | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | [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 | ||
11:00 - 12:30 | UAV Tool CompetitionTool Competition: UAV Testing at Room A Chair(s): Dmytro Humeniuk Polytechnique Montréal, Sajad Khatiri USI-Lugnao & University of Bern, Sebastiano Panichella University of Bern, Prasun Saurabh , Tahereh Zohdinasab USI Lugano | ||
11:00 10mTalk | Opening and Introduction to the Competition Tool Competition: UAV Testing Sajad Khatiri USI-Lugnao & University of Bern | ||
11:10 10mShort-paper | Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track Tool Competition: UAV Testing Pietro Lechthaler Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Fitsum Kifetew Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler | ||
11:20 10mShort-paper | PALM at the ICST 2025 Tool Competition - UAV Testing Track Tool Competition: UAV Testing Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Japan, Ahmet Cetinkaya Shibaura Institute of Technology, Paolo Arcaini National Institute of Informatics
| ||
11:30 10mShort-paper | TGen-UQ at the ICST 2025 Tool Competition - UAV Testing Track Tool Competition: UAV Testing Ali Javadi University of Bern, Christian Birchler Zurich University of Applied Sciences & University of Bern | ||
11:40 10mShort-paper | ICST Tool Competition 2025 - UAV Testing Track Tool Competition: UAV Testing Sajad Khatiri USI-Lugnao & University of Bern, Tahereh Zohdinasab USI Lugano, Prasun Saurabh , Dmytro Humeniuk Polytechnique Montréal, Sebastiano Panichella University of Bern Pre-print | ||
11:50 25mTalk | Closing Tool Competition: UAV Testing Sajad Khatiri USI-Lugnao & University of Bern | ||
11:00 - 12:30 | TutorialsTechnical Briefings and Tutorials at Room A1 Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Andrea De Lucia University of Salerno | ||
11:00 90mTalk | Scenario-based Testing with BeamNG.tech (Hands-On Training) Technical Briefings and Tutorials | ||
11:00 - 12:40 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
11:00 20mTalk | On Service-to-Service Integration Testing in Microservice Systems Doctoral Symposium Lena Gregor Technical University of Munich | ||
11:20 20mTalk | A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation Doctoral Symposium Ali Gullu Institute of Computer Science, University of Tartu | ||
11:40 20mTalk | End-to-End Testing in Web Environments: Addressing Practical Challenges Doctoral Symposium Sergio Di Meglio Università degli Studi di Napoli Federico II | ||
12:00 20mTalk | Evaluating Correct-Consistency and Robustness in Code-Generating LLMs Doctoral Symposium Shahin Honarvar Imperial College London | ||
12:20 20mTalk | Uncertainty-Aware Autonomous Driving System Testing with Large Language Models Doctoral Symposium Jiahui Wu Simula Research Laboratory and University of Oslo | ||
11:00 - 12:30 | Poster at Service Room | ||
11:00 90mMeeting | Sponsor Exhibition Sponsor Exhibitions | ||
14:00 - 15:30 | SDC Tool CompetitionTool Competition: Self-Driving Car Testing at Room A Chair(s): Christian Birchler Zurich University of Applied Sciences & University of Bern, Mattia Fazzini University of Minnesota, Stefan Klikovits Johannes Kepler University, Linz, Sebastiano Panichella University of Bern | ||
14:00 15mTalk | Opening and Introduction to the Competition Tool Competition: Self-Driving Car Testing | ||
14:15 10mShort-paper | DRVN at the ICST 2025 Tool Competition – Self-Driving Cars Testing Track Tool Competition: Self-Driving Car Testing Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology | ||
14:25 10mShort-paper | CertiFail at the ICST 2025 Tool Competition – Self-Driving Car Testing Track Tool Competition: Self-Driving Car Testing | ||
14:35 10mShort-paper | DETOUR at the ICST 2025 Tool Competition – Self-Driving Car Testing Track Tool Competition: Self-Driving Car Testing | ||
14:45 10mShort-paper | ITS4SDC at the ICST 2025 Tool Competition – Self-Driving Car Testing Track Tool Competition: Self-Driving Car Testing | ||
14:55 10mShort-paper | NN-SDCTest at the ICST 2025 Tool Competition – Self-Driving Car Testing Track Tool Competition: Self-Driving Car Testing Prakash Aryan Birla Institute of Technology and Science, Sajad Khatiri USI-Lugnao & University of Bern | ||
15:05 10mShort-paper | ICST Tool Competition 2025 – Self-Driving Car Testing Track Tool Competition: Self-Driving Car Testing Christian Birchler Zurich University of Applied Sciences & University of Bern, Stefan Klikovits Johannes Kepler University, Linz, Mattia Fazzini University of Minnesota, Sebastiano Panichella University of Bern Pre-print | ||
15:15 15mTalk | Closing Tool Competition: Self-Driving Car Testing | ||
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 15mTalk | Code, Test and Coverage Evolution in Mature Software Systems: Changes over the Past Decade Research Papers | ||
14:15 15mTalk | 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 15mTalk | 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 15mTalk | 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 7mShort-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 7mShort-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 7mTalk | 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) | ||
14:00 - 15:30 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
14:00 20mTalk | Enhancing Spectrum-based Fault Localization in the context of Reactive Programming Doctoral Symposium | ||
14:20 20mTalk | Advancing Mobile UI Testing by Learning Screen Usage Semantics Doctoral Symposium Safwat Ali Khan George Mason University | ||
14:40 20mTalk | Identifying and Mitigating Flaky Tests in JavaScript Doctoral Symposium Negar Hashemi Massey University | ||
15:00 30mLive Q&A | Q/A & Closing Doctoral Symposium | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Social | ||
16:00 - 16:30 | |||
16:00 30mSocial Event | Closing Social | ||