Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 18 MayDisplayed time zone: Seoul change
Mon 18 May
Displayed time zone: Seoul change
09:00 - 10:30 | Session IITEQS at Room 103 Chair(s): Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology | ||
09:00 10mDay opening | ITEQS 2026 Opening ITEQS Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology | ||
09:10 45mKeynote | Language in the Loop, Promise and Risk in Verifying Intelligent Cyber-Physical Systems ITEQS | ||
09:55 20mTalk | Do LLM and Human Reviewers Agree? Evaluation and Setup ITEQS Fitash Ul Haq Luxembourg Institute of Science and Technology | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Official Opening IWCT | ||
09:10 60mKeynote | Changhai Nie: Research and Application of Combinatorial Testing for 40 Years of Development IWCT Changhai Nie Nanjing University | ||
10:10 20mShort-paper | Design Change Impacts on Combinatorial Modeling IWCT Deborah Furman IBM, Eitan Farchi IBM Haifa Research Lab, Michael Gildein IBM, Ryan Rawlins IBM, Andrew Hicks IBM | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Mutation 2026 Opening Mutation Nargiz Humbatova Università della Svizzera italiana, Jeongju Sohn Kyungpook National University, Gunel Jahangirova King's College London | ||
09:05 55mKeynote | Foes and Frontiers:
Flakiness, LLMs, and the Future of Mutation Analysis Mutation Phil McMinn University of Sheffield | ||
10:00 30mPaper | A Multi-Perspective Evaluation of Static Mutant Selection Techniques Mutation Magdalene Ashong School of Computer Science and Statistics, Trinity College Dublin, Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero | ||
09:15 - 10:30 | |||
09:15 15mTalk | Opening Doctoral Symposium | ||
09:30 60mTalk | Keynote: Mechanized Specifications Adopted by Real-World Programming Languages Doctoral Symposium | ||
11:00 - 12:30 | |||
11:00 30mDoctoral symposium paper | A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities Doctoral Symposium | ||
11:30 30mDoctoral symposium paper | Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing Doctoral Symposium Somin Kim Korea Advanced Institute of Science and Technology | ||
12:00 30mDoctoral symposium paper | An Activation Property-Based Framework for Efficient Neural Network Verification Doctoral Symposium Seunghyun Chae Pohang University of Science and Technology (POSTECH) | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Function-Level Fuzzing for RTOS Kernels with RTCon Tutorials | ||
11:00 - 12:30 | Session IIITEQS at Room 103 Chair(s): Sarmad Bashir RISE Research Institutes of Sweden, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa | ||
11:00 22mTalk | Verifying an Elevator Scheduling Control System ITEQS A: HUAN ZHANG Maynooth university, A: Haoyang Lu Maynooth University, Long Cheng North China Electric Power University, A: Hao Wu Maynooth University | ||
11:22 22mTalk | Efficient Software Security Evaluation: A Human-in-the-Loop Approach ITEQS A: Christian Banse Fraunhofer AISEC, A: Immanuel Kunz Fraunhofer AISEC, A: Alexander Küchler Fraunhofer AISEC, A: Shala Leutrim Fraunhofer AISEC, A: Konrad Weiss , A: Maximilian Kaul Fraunhofer AISEC | ||
11:45 22mTalk | SafeBound: A Modular Toolchain for End-to-End Safety Evaluation of ADS ITEQS A: Fauzia Khan University of Tartu, Estonia, A: Ali Gullu University of Tartu, A: Hina Anwar University of Tartu, A: Dietmar Pfahl University of Tartu | ||
12:07 22mTalk | Test Design and Review Argumentation in AI-Assisted Test Generation ITEQS | ||
11:00 - 12:30 | |||
11:00 60mPanel | Panel Discussion ASTA Tommaso Fulcini Politecnico di Torino, Juyeon Yoon Korea Advanced Institute of Science and Technology | ||
12:00 30mDay closing | Workshop Closing ASTA | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Explainable Validation and Feature Reduction in Machine Learning IWCT Fenrir Badorf Loyola University Maryland, Francis Durso National Institute of Standards and Technology, Callie Walker Loyola University Maryland, Megan Olsen Loyola University Maryland, M S Raunak National Institute of Standards and Technology, Rick Kuhn National Institute of Standards and Technology | ||
11:30 30mFull-paper | Generation of Constrained Combinatorial Tests for Multi-Label Classifiers IWCT Keigo Teruya The University of Osaka, Tatsuhiro Tsuchiya Osaka University, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo | ||
12:00 30mFull-paper | Generative AI Combinatorial Test Assistants IWCT | ||
11:00 - 12:30 | |||
11:00 30mPaper | Clustering First-Order Mutants by Behavioural Similarity: A Graph-Based Approach to Higher-Order Mutant Generation Mutation Sajjad Hesamipour Khelejan , Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero | ||
11:30 30mPaper | HOP: A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust Mutation Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||
12:00 30mPaper | Round-Trip Mutation Testing: Translating Code to Natural Language Intent and back Mutation Asma Sadjida Hamidi SnT, University of Luxembourg, Cedric Richter University of Luxembourg, Ahmed Khanfir RIADI, ENSI, University of Manouba, Tunisia, Mike Papadakis University of Luxembourg | ||
12:30 - 13:40 | |||
12:30 70mLunch | Doctoral Symposium Lunch Doctoral Symposium | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
13:40 - 15:30 | |||
13:40 30mDoctoral symposium paper | Understanding and Overcoming Limitations of Automated Test Generation Doctoral Symposium Lukas Krodinger University of Passau DOI Pre-print | ||
14:10 30mDoctoral symposium paper | Designing and Verifying Agentic AI Systems through Structural Architecture and State Analysis Doctoral Symposium Juyeon Yoon Korea Advanced Institute of Science and Technology | ||
14:40 30mDoctoral symposium paper | Topographical Deep Learning Testing Doctoral Symposium Gianmarco De Vita Università della Svizzera italiana | ||
15:10 20mPanel | Q&A 1 Doctoral Symposium | ||
14:00 - 15:30 | Session IIIITEQS at Room 103 Chair(s): Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology | ||
14:00 22mTalk | Friends or Foes? Combining Static Analysis Tools and LLMs for Vulnerability Detection ITEQS A: Rafael Ramires LASIGE, DI, Faculdade de Ciencias da Universidade de Lisboa, A: Sarmad Bashir RISE Research Institutes of Sweden, A: Muhammad Abbas Khan RISE Research Institutes of Sweden, A: Mehrdad Saadatmand RISE Research Institutes of Sweden, A: Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa Pre-print | ||
14:22 22mTalk | Comp-AFL: Towards Complete Fuzzing ITEQS A: Sangharatna Godboley NIT Warangal, A: Kanika Gupta National Institute of Technology, Warangal, A: Golla Monika Rani , A: P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
14:44 16mDay closing | ITEQS 2026 Workshop Closing ITEQS | ||
14:00 - 15:30 | |||
14:00 20mShort-paper | Association Rules Based Fault Localization in Combinatorial Testing IWCT Rekha Jayaram Dayananda Sagar College of Engineering, Krishnan Rangarajan Dayananda Sagar College of Engineering | ||
14:20 20mShort-paper | CTWedgeV: SMT-Based Validation of Combinatorial Test Suites IWCT | ||
14:40 30mFull-paper | Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View IWCT Sebastian Puck Graz University of Technology, Alexander Perko Graz University of Technology, David Kaufmann Graz University of Technology, Franz Wotawa Graz University of Technology, Iskra Gasparic AVL List GmbH | ||
15:10 20mShort-paper | Combinatorial Test Generation Tool for REST API with Variable-Length Arrays IWCT | ||
14:00 - 15:30 | |||
14:00 30mTalk | QMutBench: A Dataset of Quantum Circuit Mutants Mutation Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
14:30 30mPaper | Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking Mutation Futa Oda Graduate School of Information Science and Technology, Osaka University, Tatsuhiro Tsuchiya Osaka University | ||
15:00 30mPaper | HOP: MediumDarwin - LittleDarwin Grows with Performance and Research-oriented Extensions Mutation Sajjad Hesamipour Khelejan , Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero | ||
16:00 - 18:00 | |||
16:00 30mDoctoral symposium paper | Reinforcement Learning-Based Collaborative Fuzzing Doctoral Symposium Hyeonmin Mo Hanyang University | ||
16:30 30mDoctoral symposium paper | Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing Doctoral Symposium Agustin Nolasco University of Rio Cuarto | ||
17:00 30mDoctoral symposium paper | Improving the Accuracy of Dynamic Specification Inference Doctoral Symposium Agustín Balestra University of Rio Cuarto, Argentina | ||
17:30 30mPanel | Q&A 2 and Closing Doctoral Symposium | ||
16:00 - 17:30 | |||
16:00 10mDay closing | Official Adjournement IWCT | ||
16:10 30mMeeting | IWCT Steering Committee Meeting (Open invitation to IWCT participants to join!) IWCT | ||
16:00 - 17:30 | |||
16:00 90mPanel | Panel Discussion Mutation Phil McMinn University of Sheffield, Donghwan Shin University of Sheffield, Jinhan Kim Università della Svizzera italiana, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Gregory Gay Chalmers University of Technology and University of Gothenburg | ||
Tue 19 MayDisplayed time zone: Seoul change
Tue 19 May
Displayed time zone: Seoul change
09:00 - 09:30 | |||
09:00 30mTalk | Opening ICST 2026 Moonzoo Kim KAIST / VPlusLab Inc. , Shin Hong Chungbuk National University, Neil Walkinshaw The University of Sheffield, Xiaoyuan Xie Wuhan University | ||
09:30 - 10:30 | |||
09:30 60mKeynote | Adversarial Benchmarking: An Urgent Call for a Stronger Signal of Technological Progress Keynote Pre-print Media Attached | ||
11:00 - 12:30 | Autonomous Systems & Robotics TestingIndustry / Research Papers at Room 101 Chair(s): Khouloud Gaaloul University of Michigan - Dearborn | ||
11:00 25mTalk | Dynasto: Validity-Aware Dynamic–Static Parameter Optimization for Autonomous Driving TestingDistinguished Paper Award Research Papers Dmytro Humeniuk Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montreal, Houssem Ben Braiek Polytechnique Montreal, Amel Bennaceur The Open University, UK, Foutse Khomh Polytechnique Montréal | ||
11:25 25mTalk | Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements Research Papers Yang Sun Singapore Management University, Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University DOI Pre-print | ||
11:50 15mTalk | Metamorphic Testing of Vision-Language Action–Enabled Robots Research Papers Pablo Valle Mondragon University, Sergio Segura SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Aitor Arrieta Mondragon University Pre-print | ||
12:05 25mTalk | Assessing Vision–Language Models for Perception in Autonomous Underwater Robotic Software Industry Muhammad Yousaf Simula Research Laboratory, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics, Shuai Wang DNV AS | ||
11:00 - 12:30 | Deep Learning Model VerificationJournal-First Papers / Research Papers / Education at Room 103 Chair(s): Hamid Parsazadeh University of Toronto | ||
11:00 25mTalk | DeepNaqqal: Human-Aligned Automated Validation of Test Inputs for Deep Learning Research Papers Maryam Maryam Lero, University of Limerick, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Vincenzo Riccio University of Udine | ||
11:25 25mTalk | How Effective Is Coverage-Guided Fuzzing to Test Deep Learning Library APIs? Research Papers Feiran Qin North Carolina State University, M M Abid Naziri North Carolina State University, Hengyu Ai ShanghaiTech University, Saikat Dutta Cornell University, Marcelo d'Amorim North Carolina State University Pre-print | ||
11:50 25mTalk | An Empirical Study of Fault Localisation Techniques for Deep Neural Networks Journal-First Papers Nargiz Humbatova Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, Gunel Jahangirova King's College London, Shin Yoo KAIST, Paolo Tonella USI Lugano DOI | ||
12:05 25mTalk | Testing Literacy for the Era of Self-Software Systems: Rethinking Software Testing Education for AI-Mediated Development Education Nuno Pombo University of Beira Interior & Instituto de Telecomunicaçōes, Covilhã, Portugal | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Test FlakinessResearch Papers / Short Papers, Vision and Emerging Results at Room 101 Chair(s): Phil McMinn University of Sheffield | ||
14:00 25mTalk | A Systematic Evaluation of Environmental Flakiness in JavaScript Tests Research Papers Negar Hashemi Massey University, Amjed Tahir Massey University, August Shi The University of Texas at Austin, Shawn Rasheed UCOL, Rachel Blagojevic Massey University | ||
14:25 25mTalk | Pinpointing Flakiness in Web Tests via DOM Event Analysis and LLM-based Reasoning Research Papers Yu Pei University of Luxembourg, Jeongju Sohn Kyungpook National University, Sarra Habchi Cohere, Canada, Mike Papadakis University of Luxembourg | ||
14:50 25mTalk | Automatically Resolving Mismatched Invocations on Test Doubles in Test Suites Research Papers | ||
15:15 15mTalk | Towards an Actionable Flakiness Score Short Papers, Vision and Emerging Results Joanna Kisaakye University of Antwerp, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw | ||
14:00 - 15:30 | Tool and Data Showcase 1Testing Tools and Data Showcase at Room 105 Chair(s): Jinhan Kim Università della Svizzera italiana | ||
14:00 15mTalk | Constraint-Driven Fuzzing at Scale with FANDANGO Testing Tools and Data Showcase José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
14:15 15mTalk | TriAD: a Tricorder-based tool for detecting anomalies in software Testing Tools and Data Showcase Caio Herrera University of Sao Paulo (USP), Simone do Rocio Senger de Souza ICMC/USP, Ricardo Santos Federal University of Mato Grosso do Sul (UFMS), Paulo Sergio Lopes de Souza ICMC/USP | ||
14:30 15mTalk | RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems Testing Tools and Data Showcase Dario Facchinetti Università degli Studi di Bergamo, Matthew Rossi Università degli Studi di Bergamo, Zhenya Zhang Kyushu University, Stefano Paraboschi Università degli Studi di Bergamo, Paolo Arcaini National Institute of Informatics | ||
14:45 15mTalk | BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications Testing Tools and Data Showcase Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
15:00 15mTalk | Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering Testing Tools and Data Showcase Zahra Seyedghorban Delft University of Technology, Egor Klimov JetBrains Research, Arie van Deursen TU Delft, Annibale Panichella Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
15:15 15mTalk | mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis Testing Tools and Data Showcase Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||
16:00 - 17:30 | Machine Learning for Code Analysis & ReviewResearch Papers / Industry at Room 103 Chair(s): Dietmar Pfahl University of Tartu | ||
16:00 25mTalk | Understanding and Improving ML-based Static Analysis Result Classification via Explainable AI Research Papers Sai Yerramreddy University of Maryland, Mohammad Rafieian The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas, Adam Porter University of Maryland, College Park | ||
16:25 25mTalk | Adaptive Mixing of Embeddings from Multiple Code Language Models for Fault Localization Research Papers Juyoung Yang Korea Advanced Institute of Science and Technology (KAIST), Eunchan Park Korea Advanced Institute of Science and Technology (KAIST), In-Young Ko Korea Advanced Institute of Science and Technology | ||
16:50 25mTalk | Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models Research Papers Sabaat Haroon Virginia tech, Ahmand Faraz Khan Virginia Tech, Ahmad Humayun Virginia Tech, Waris Gill Virginia Tech, Abdul Haddi Amjad Palo Alto Networks, Ali R. Butt Virginia Tech, Mohammad Taha Khan Carnegie Mellon University, Muhammad Ali Gulzar Virginia Tech | ||
17:15 15mTalk | When Less Is More: Monolingual Fine-Tuning of Language Models for Industrial C# Code Review Industry Igli Begolli Technical University Dortmund, Lovion GmbH, Meltem Aksoy TU Dortmund University, Daniel Neider Technical University of Dortmund, Germany | ||
16:00 - 17:30 | Tool and Data Showcase 2Testing Tools and Data Showcase at Room 105 Chair(s): Jinhan Kim Università della Svizzera italiana | ||
16:00 15mTalk | DeepFix: Debugging and Fixing Machine Learning Workflow using Agentic AI Testing Tools and Data Showcase | ||
16:15 15mTalk | Ising-based Test Optimization and Benchmarking Testing Tools and Data Showcase | ||
16:30 15mTalk | TopoMap: Automated Topographical Mapping of the Deep Learning Input Space Testing Tools and Data Showcase Gianmarco De Vita Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Paolo Tonella USI Lugano | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Reception ICST 2026 | ||
Wed 20 MayDisplayed time zone: Seoul change
Wed 20 May
Displayed time zone: Seoul change
09:00 - 10:00 | |||
09:00 60mKeynote | Failure-Based Testing Keynote | ||
10:30 - 12:00 | |||
10:30 90mPoster | Poster: NeuroCERT: Executable Testing for Oracle-Limited Biophysical Network Simulation Posters Seungyoun Lee Korea Institute of Science and Technology, Korea University, Hyun Jae Jang Korea Institute of Science and Technology, Jae-Ho Han Korea University | ||
10:30 90mPoster | Poster: Transformer-Based Detection of Code Obfuscation Techniques Using Opcode Sequences Posters Inwoo Jo Chungnam National University, Wanju Kim Chungnam National University, Eun-Sun Cho Chungnam National University, Korea | ||
10:30 90mPoster | Comparative Study of Human and Machine level prompts for LLM driven software testing Posters Anand Sharma National Institute of Technology Warangal, VIVEK YELLETI National Institute of Technology Warangal, Sangharatna Godboley NIT Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
10:30 90mPoster | Poster: Automated Generation of a Broad Spectrum of MBA Expressions for Robust Deobfuscation Analysis Posters Seoksu Lee Chungnam National Univ., Sangjun An Chungnam National University, Eunbi Cho Chungnam National University, Eun-Sun Cho Chungnam National University, Korea | ||
10:30 - 12:00 | |||
10:30 90mDoctoral symposium paper | Designing and Verifying Agentic AI Systems through Structural Architecture and State Analysis Doctoral Symposium Juyeon Yoon Korea Advanced Institute of Science and Technology | ||
10:30 90mDoctoral symposium paper | A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities Doctoral Symposium | ||
10:30 90mDoctoral symposium paper | An Activation Property-Based Framework for Efficient Neural Network Verification Doctoral Symposium Seunghyun Chae Pohang University of Science and Technology (POSTECH) | ||
10:30 90mDoctoral symposium paper | Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing Doctoral Symposium Agustin Nolasco University of Rio Cuarto | ||
10:30 90mDoctoral symposium paper | Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing Doctoral Symposium Somin Kim Korea Advanced Institute of Science and Technology | ||
10:30 90mDoctoral symposium paper | Topographical Deep Learning Testing Doctoral Symposium Gianmarco De Vita Università della Svizzera italiana | ||
10:30 90mDoctoral symposium paper | Understanding and Overcoming Limitations of Automated Test Generation Doctoral Symposium Lukas Krodinger University of Passau DOI Pre-print | ||
10:30 90mDoctoral symposium paper | Improving the Accuracy of Dynamic Specification Inference Doctoral Symposium Agustín Balestra University of Rio Cuarto, Argentina | ||
10:30 90mDoctoral symposium paper | Reinforcement Learning-Based Collaborative Fuzzing Doctoral Symposium Hyeonmin Mo Hanyang University | ||
10:30 - 12:00 | Web Application Automated TestingResearch Papers / Short Papers, Vision and Emerging Results at Room 101 Chair(s): Tommaso Fulcini Politecnico di Torino | ||
10:30 25mTalk | Leveraging Large Language Models for Trustworthiness Assessment of Web Applications Research Papers Oleksandr Yarotskyi University of Coimbra, José D'Abruzzo Pereira University of Coimbra, João R. Campos University of Coimbra | ||
10:55 25mTalk | Towards Automated Page Object Generation for Web Testing using Large Language Models Research Papers Betül Karagöz Technical University of Munich, Filippo Ricca DIBRIS, Università di Genova, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
11:20 25mTalk | Neural Embeddings for Web Testing Research Papers Kasun Kanaththage Technical University of Munich, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Andrea Stocco Technical University of Munich, fortiss Pre-print | ||
11:45 15mTalk | Automated Reproduction of Android Application Bugs with LLMs: Are We There Yet? Short Papers, Vision and Emerging Results Dennis Carey Florida Polytechnic University, Karim Elish Florida Polytechnic University, Paniz Abedin Florida Polytechnic University | ||
10:30 - 12:00 | Specification Inference & Model CheckingJournal-First Papers / Research Papers at Room 103 Chair(s): Eunkyoung Jee KAIST, South Korea | ||
10:30 25mTalk | GRANDSLAM: Linearly Scalable Model Synthesis Research Papers Alexander Boll University of Bern | ||
10:55 25mTalk | Improving Dynamic Specification Inference with LLM-Generated Counterexamples Research Papers Agustín Balestra University of Rio Cuarto, Argentina, Agustin Nolasco University of Rio Cuarto, Facundo Molina Complutense University of Madrid, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Renzo Degiovanni Luxembourg Institute of Science and Technology, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China | ||
11:15 25mTalk | Systematic API Testing Through Model Checking and Executable Contracts Research Papers Pre-print | ||
11:40 15mTalk | Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems Journal-First Papers Qi Pan Nanjing University of Aeronautics and Astronautics, Tiexin Wang Nanjing University of Aeronautics and Astronautics, Jianwei Ma Nanjing University of Aeronautics and Astronautics, Paolo Arcaini National Institute of Informatics, Tao Yue Beihang University Link to publication DOI | ||
10:30 - 12:00 | |||
10:30 90mTalk | Constraint-Driven Fuzzing at Scale with FANDANGO Testing Tools and Data Showcase José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
10:30 90mTalk | BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications Testing Tools and Data Showcase Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
10:30 90mTalk | mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis Testing Tools and Data Showcase Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Automated API, Property & Grammar-based TestingResearch Papers / Industry at Room 101 Chair(s): Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China | ||
13:30 25mTalk | Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation Research Papers Lucas Berg University of Namur, Lukas Krodinger University of Passau, Stephan Lukasczyk JetBrains Research, Annibale Panichella Delft University of Technology, Gordon Fraser University of Passau, Wim Vanhoof University of Namur, Xavier Devroey University of Namur Pre-print | ||
13:55 25mTalk | On the Evolution of Python Test Cases into Property-based Tests Research Papers Cindy Wauters Vrije Universiteit Brussel, Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Pre-print | ||
14:20 25mTalk | Embedding-based Diversity Mapping for Test Generator Selection and Input Prioritization in Grammar-based Testing Research Papers Shifat Sahariar Bhuiyan Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Paolo Tonella USI Lugano | ||
14:45 15mTalk | Automated REST API Black-box Test Generation in Practice: An Experience Report from Industry Industry Davide Corradini University of Luxembourg, Seung Yeob Shin University of Luxembourg, Domenico Bianculli University of Luxembourg | ||
13:30 - 15:00 | Complex System & Protocol ValidationShort Papers, Vision and Emerging Results / Research Papers at Room 103 Chair(s): Ajay Kumar Thapar Institute of Engineering and Technology | ||
13:30 25mTalk | In Perfect Harmony: Orchestrating Causality in Actor-Based Systems Research Papers Vladyslav Mikytiv NOVA University Lisbon, Bernardo Toninho Instituto Superior Técnico - University of Lisbon, Carla Ferreira NOVA University Lisbon Pre-print | ||
13:55 25mTalk | Isolating Feature Transition Errors in Dynamically Adaptive Systems Research Papers Pierre Martou UCLouvain / ICTEAM, Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium | ||
14:20 25mTalk | Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation Research Papers Kuangxiangzi Liu Volkswagen AG / Saarland University, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Dhiman Chakraborty Volkswagen AG, Andreas Zeller CISPA Helmholtz Center for Information Security File Attached | ||
14:45 15mTalk | MT4DT: Metamorphic Testing for Digital Twins\ Short Papers, Vision and Emerging Results Philipp Zech University of Innsbruck, Austria, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Manuel Núñez Universidad Complutense de Madrid | ||
13:30 - 15:00 | Tool Competition: Self-driving Car and UAV TestingTool Competitions: Self-Driving Car and UAV Testing at Room 105 Chair(s): Tommaso Fulcini Politecnico di Torino, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern, Erdem Uysal University of Bern | ||
13:30 12mTalk | Introducing ICST 2026 Tool Competition: Self-Driving Car Testing Track Tool Competitions: Self-Driving Car and UAV Testing Prakash Aryan University of Bern, Tommaso Fulcini Politecnico di Torino, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Christian Birchler University of Bern, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern | ||
13:42 12mTalk | RTE4SDC at the ICST 2026 Tool Competition – Self-Driving Car Testing Track Tool Competitions: Self-Driving Car and UAV Testing | ||
13:55 12mTalk | EagleSemble at the ICST 2026 Tool Competition – Self-Driving Car Testing Track Tool Competitions: Self-Driving Car and UAV Testing Cristian Aquilino University of Udine, Ettore Ritacco University of Udine, Vincenzo Riccio University of Udine | ||
14:08 12mTalk | RoadFury at the ICST 2026 Tool Competition – Self-Driving Car Testing Track Tool Competitions: Self-Driving Car and UAV Testing Tran Chi Nguyen University of Science - VNUHCM, Dao Sy Duy Minh University of Science - VNUHCM, Huynh Trung Kiet University of Science - VNUHCM, Pham Phu Hoa University of Science - VNUHCM, Nguyen Lam Phu Quy University of Science - VNUHCM | ||
14:21 12mTalk | KSERESNET at the ICST 2026 Tool Competition – Self-Driving Car Testing Track Tool Competitions: Self-Driving Car and UAV Testing Vishal Kumar Swain National Institute of Technology Warangal, India, Sangharatna Godboley NIT Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal, Avijit Das | ||
14:34 12mTalk | Introduction to ICST Tool Competition 2026 - UAV Testing Track Tool Competitions: Self-Driving Car and UAV Testing Erdem Uysal University of Bern, Grégory Loubet-Bonino University of Bern, Ali Javadi University of Bern, Prakash Aryan University of Bern, Aren Babikian University of Toronto, Dmytro Humeniuk Polytechnique Montréal, Sajad Khatiri Università della Svizzera italiana and University of Bern, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern | ||
14:47 12mTalk | TLQD at the ICST 2026 Tool Competition Tool Competitions: Self-Driving Car and UAV Testing | ||
15:30 - 17:00 | Security, Fairness & Architectural AlignmentResearch Papers / Industry at Room 101 Chair(s): Amjed Tahir Massey University | ||
15:30 25mTalk | Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Insecure Code Preference Research Papers Rui Melo Carnegie Mellon University and Faculty of Engineering, University of Porto, Sofia Reis Faculty of Engineering of the University of Porto, Andre Catarino Faculty of Engineering, University of Porto, Rui Abreu University of Porto Pre-print | ||
15:55 25mTalk | Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories Research Papers Mojtaba Eshghie Umeå University, Melissa Mazura KTH Royal Institute of Technology, Alexandre Bartel Umeå University | ||
16:20 25mTalk | Individual Fairness Testing in Fairness through Unawareness Research Papers | ||
16:45 15mTalk | Formalizing Test Levels for Architectural Alignment and Overall Optimization Industry | ||
17:00 - 17:30 | |||
17:00 30mMeeting | Open Steering Committee Meeting ICST 2026 Gregory Gay Chalmers University of Technology and University of Gothenburg, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Banquet ICST 2026 | ||
Thu 21 MayDisplayed time zone: Seoul change
Thu 21 May
Displayed time zone: Seoul change
09:00 - 10:00 | |||
09:00 60mKeynote | Keeping up with the Abstraction Keynote | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 11:30 | |||
10:30 15mTalk | ICST 2027 Presentation ICST 2026 | ||
10:45 15mTalk | Most Influential Paper Award MIP Award | ||
11:00 30mTalk | Most Influential Paper Award Presentation MIP Award | ||
11:30 - 13:00 | |||
11:30 90mLunch | Lunch Catering | ||
13:00 - 14:30 | Cyber-Physical Systems (CPS) ReliabilityResearch Papers / Journal-First Papers at Room 101 Chair(s): Chris Poskitt Singapore Management University | ||
13:00 25mTalk | Continuous Requirement Conformance Falsification for Cyber-Physical Systems via Cross-Revision Knowledge Transfer Research Papers | ||
13:25 25mTalk | Towards Counterfactual Explanation and Assertion Inference for CPS Debugging Research Papers Zaid Ghazal University of Michigan-Dearborn, Hadiza Yusuf University of Michigan - Dearborn, Khouloud Gaaloul University of Michigan - Dearborn | ||
13:50 15mTalk | Fault Localization of AI-Enabled Cyber–Physical Systems by Exploiting Temporal Neuron Activation Journal-First Papers Deyun Lyu National Institute of Informatics, Yi Li Kyushu University, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics, Xiao-Yi Zhang University of Science and Technology Beijing, Fuyuki Ishikawa National Institute of Informatics, Jianjun Zhao Kyushu University DOI | ||
14:05 15mTalk | FlowRepair: Search-Based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow Journal-First Papers Aitor Arrieta Mondragon University, Pablo Valle Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University DOI | ||
15:00 - 16:30 | UI Accessibility & Automated OraclesResearch Papers at Room 101 Chair(s): Shifat Sahariar Bhuiyan Università della Svizzera italiana | ||
15:00 25mTalk | Lost in Navigation: Detecting Keyboard Navigation Accessibility Issues in Web Pages Research Papers Robert Winn University of Southern California, USA, Paul T. Chiou University of Southern California, William G.J. Halfond University of Southern California | ||
15:25 25mTalk | SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERTDistinguished Paper Award Research Papers Guan-Yan Yang National Taiwan University, Wei-Ling Wen National Taiwan University, Shu Yuan Ku National Taiwan University, Farn Wang National Taiwan University, Kuo-Hui Yeh National Yang Ming Chiao Tung University Pre-print | ||
15:50 25mTalk | A Linguistically Motivated Automated Testing Framework For ASR Accent-Robustness Research Papers Margot Masson University College Dublin, Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero | ||
15:00 - 16:30 | Quantum Computing Verification & AI SelectionResearch Papers / Short Papers, Vision and Emerging Results at Room 103 Chair(s): Ajay Kumar Thapar Institute of Engineering and Technology | ||
15:00 25mTalk | An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimization via Quantum Approximate Optimization Algorithm Research Papers Lakksh Sharma Thapar Institute of Engineering and Technology, Krish Sharma Thapar Institute of Engineering and Technology, Ajay Kumar Thapar Institute of Engineering and Technology | ||
15:25 25mTalk | XPJudge: Explanation-Aware Pairwise Judging for Cost-Effective Code LLM Selection Research Papers Yasmine Ben Braiek Polytechnique Montreal, Houssem Ben Braiek Polytechnique Montreal, Foutse Khomh Polytechnique Montréal | ||
15:50 15mTalk | Quantum Circuit Repair by Gate Prioritisation Short Papers, Vision and Emerging Results Eñaut Mendiluze Usandizaga Simula Research Laboratory, Norway, Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
16:05 15mTalk | Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis Short Papers, Vision and Emerging Results Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Karine Even-Mendoza King’s College London, Sophie Fortz Inria, Univ Rennes, CNRS, IRISA, Vasileios Klimis Queen Mary University of London, Mohammad Reza Mousavi King's College London Pre-print | ||
Fri 22 MayDisplayed time zone: Seoul change
Fri 22 May
Displayed time zone: Seoul change
09:00 - 10:30 | |||
09:00 90mKeynote | AIST Keynote AIST Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
09:00 - 10:30 | |||
09:00 90mTutorial | B2R2: Practical Binary Reversing for Security Research Tutorials Pre-print | ||
09:00 - 10:30 | |||
09:00 30mDay opening | CCIW 2026 Opening CCIW Martin Gruber BMW Group | ||
09:30 30mTalk | Beyond Detection: Evaluating Flaky Test Fix Effectiveness CCIW Media Attached | ||
10:00 30mTalk | The Good, the Bad, and the Flaky: A New Sheriff in Town to Manage Unstable Tests at Scale CCIW Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Gordon Fraser University of Passau Media Attached | ||
09:00 - 10:30 | Intelligent SE Session IIntelligent SE at Room 105 Chair(s): Sungsoo Ahn Gyeongsang National University | ||
09:00 50mKeynote | The power of experimentation Intelligent SE Andreas Zeller CISPA Helmholtz Center for Information Security File Attached | ||
09:50 20mPaper | LLM-Assisted Cause?Effect Graph Generation for Requirements-Based Test Design Intelligent SE | ||
10:10 20mPaper | Cooperative Defense Against Suicide Drones for a Maneuvering Protected Target Intelligent SE Sumi Kim Gyeongsang National University, Hynju Jang Gyeongsang National Unviersity, Kyori Park Gyeongsang National University, Dowon Kim Gyeongsang National Unviersity, Pilsu Jung Gyeongsang National Unviersity | ||
11:00 - 12:30 | |||
11:00 30mTalk | Improving LLM-Driven Test Generation by Learning from Mocking Information AIST Jamie Lee University of Auckland, Flynn Teh University of Auckland, Hengcheng Zhu The Hong Kong University of Science and Technology, Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota, Valerio Terragni University of Auckland | ||
11:30 30mTalk | STARouter: Internal State based LLM Router for Software Testing Tasks AIST | ||
12:00 30mTalk | Towards LLMinating Performance Anti-Patterns in Android Apps AIST Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Hybrid Approach to Optimizing Build and Test Time: Marginal and Concurrent Delay Analysis CCIW Pre-print | ||
11:30 30mTalk | Probabilistic Greens: Enabling High Frequency Releases at Google CCIW Abhayendra Singh Google, Inc, Avi Kondareddy Google, Sabuj Pattanayek Google LLC, USA, Tim A. D. Henderson Google, Ali Esmaeeli Google, David Rodríguez , Laura Macaddino , Paul Diebold | ||
12:00 30mTalk | Resource optimization in distributed systems for SAP HANA CI workloads CCIW | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | An Empirical Assessment of Copilot’s Defect Prediction Capabilities in Code Reviews AIST | ||
14:30 60mPanel | AIST Panel Discussion AIST Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern, Mike Papadakis University of Luxembourg, Shin Yoo KAIST | ||
14:00 - 15:30 | |||
14:00 30mTalk | The Hidden Costs of Evaluating Automated CI Repair at SAP HANA CCIW Sumi Yun SAP Labs Korea, Jingun Hong SAP Labs Korea, Somin Kim Korea Advanced Institute of Science and Technology, Hyunjoon Cho KAIST, Gabin An Korea University, Shin Yoo KAIST | ||
14:30 30mTalk | Configuration Quality Failures in LLM-Generated GitHub Actions Workflows: A Comparison with Human-Validated Baselines CCIW | ||
15:00 30mTalk | AI-Native Testing: Adapting Validation Practices for Accelerated Development CCIW Carlos Arguelles Amazon | ||
14:00 - 15:30 | |||
14:00 10mDay opening | InSTA 2026 Opening InSTA | ||
14:10 25mResearch paper | Explainable AI for AI-Generated Software Architecture InSTA Muhammad Harib National University of Science and Technology, Farooque Azam , Muhammad Anwar Division of Computer Science and Software Engineering Mälardalen University, Saliha Ejaz National University of Science and Technology | ||
14:35 25mResearch paper | A Hierarchical Network-Based Testing Framework for Structural Trend Detection in Technical Corpora InSTA | ||
15:00 25mTalk | Software Test Architectures (STA) to Support AI Systems Throughout the Data Lifecycle InSTA Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO | ||
16:00 - 17:30 | |||
16:00 90mLive Q&A | Moderated discussion: What are the biggest challenges in large scale CI/CD? CCIW | ||
16:00 - 17:30 | |||
16:00 15mShort-paper | Towards Extraction of Ambiguous Expressions in Requirements Using Neuro-Symbolic AI InSTA | ||
16:15 25mResearch paper | Graph-based Similarity Filtering as a Preprocessing Step for SMT-based Verification of Cloud Access Policy Configuration InSTA | ||
16:40 25mExperience report | A Case Study on Bug Seeding in a University Course on Software Development and Testing InSTA | ||
17:05 5mDay closing | InSTA 2026 Closing InSTA | ||