Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
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: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 | Designing and Verifying Agentic AI Systems through Structural Architecture and State Analysis Doctoral Symposium Juyeon Yoon 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 | ||
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 | ||
14:10 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 | ||
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 | ||
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 | ||
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 | ||
11:00 - 12:30 | |||
11:00 25mTalk | Dynasto: Validity-Aware Dynamic–Static Parameter Optimization for Autonomous Driving Testing 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 Pre-print | ||
11:50 25mTalk | 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:15 15mTalk | 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 | |||
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 | |||
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 | |||
14:00 25mTalk | Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of Mutations for Rust Programs through Program Splitting Research Papers Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||
14:25 25mTalk | How Effective are Coverage- and Diversity-Based Test Selection at Killing Stubborn Mutants? Research Papers Islam Elgendy The University of Sheffield, Robert Hierons The University of Sheffield, Phil McMinn University of Sheffield | ||
14:50 25mTalk | Combining Input Constraints with Execution Goals Research Papers Leon Bettscheider CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
15:15 15mTalk | Industrial Application of Deep Learning based Fault Localization with Mutation Features Industry | ||
14:00 - 15:30 | |||
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 | ||
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 | |||
16:00 25mTalk | Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions Research Papers Hamed Taherkhani York University, Alireza Daghighfarsoodeh York University, Mohammad Chowdhury York University, Hung Viet Pham York University, Hadi Hemmati York University | ||
16:25 25mTalk | How well LLM-based test generation techniques perform with newer LLM versions? Research Papers Michael Konstantinou University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Mike Papadakis University of Luxembourg | ||
16:50 25mTalk | Improving Automated Patch Correctness Assessment by Designing LLM-Based Oracles Research Papers | ||
17:15 15mTalk | Developer vs. DSpot vs. ChatGPT: A Comparative Study of JUnit Test Amplification Short Papers, Vision and Emerging Results Pre-print | ||
16:00 - 17:30 | |||
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 | |||
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 | ||
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 | ||
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 | |||
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 22mTalk | Systematic API Testing Through Model Checking and Executable Contracts Research Papers Pre-print | ||
11:45 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 | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Complex System & Protocol ValidationShort Papers, Vision and Emerging Results / Research Papers at Room 103 | ||
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 | ||
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 | ||
15:30 - 17:00 | |||
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 | ||
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 | ||
15:30 - 17:00 | |||
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 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 | |||
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 | ||
13:00 - 14:30 | |||
13:00 22mTalk | Android Instrumentation Testing in Continuous Integration: Practices, Patterns, and Performance Research Papers Hamid Parsazadeh University of Toronto, Taher A. Ghaleb Trent University, Safwat Hassan University of Toronto Pre-print | ||
13:22 22mTalk | On the Freshness of Pinned Dependencies in Maven Research Papers Vasudev Vikram Carnegie Mellon University, Yuvraj Agarwal Carnegie Mellon University, Rohan Padhye Carnegie Mellon University | ||
13:45 22mTalk | Predictive Pull Request Batching to Accelerate Merge Pipelines in Continuous Integration at Scale Industry Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Gordon Fraser University of Passau | ||
14:07 22mTalk | Intelligent resource prediction for SAP HANA continuous integration build workloads Industry Stephan Kraft SAP SE, Torsten Mandel SAP SE, Jonathan Bader Technical University of Berlin, Hanyoung Yoo SAP Labs Korea | ||
13:00 - 14:30 | |||
13:00 90mPanel | ICST 2026 Education Panel Discussion Education | ||
15:00 - 16:30 | UI Accessibility & Automated OraclesShort Papers, Vision and Emerging Results / Research Papers at Room 101 | ||
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-BERT 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 | ||
16:15 15mTalk | LLM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software Short Papers, Vision and Emerging Results | ||
15:00 - 16:30 | Quantum Computing Verification & AI SelectionResearch Papers / Short Papers, Vision and Emerging Results at Room 103 | ||
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 | Research papersSAFE-ML at Room 103 Chair(s): Alessio Mora Alma Mater Studiorum - Università di Bologna | ||
09:00 22mResearch paper | Fuzzing-Motivated Multilingual Jailbreak Testing of Large Language Models for Healthcare and Safety-Critical Applications SAFE-ML | ||
09:22 22mResearch paper | TSV: Training Set Verification - Detection of Unauthorized Data Additions to the Training Set of Machine Learning Models Using Out-of-Distribution Technique SAFE-ML | ||
09:45 22mResearch paper | Feature Masking Isn't Enough: Auxiliary-Data Membership Inference on Tabular Models with Missing Features SAFE-ML | ||
10:07 22mResearch paper | FATHOMS-RAG: A Framework for the Assessment of Thinking and Observation in Multimodal Systems that use Retrieval Augmented Generation SAFE-ML | ||
09:00 - 10:30 | |||
09:00 30mDay opening | CCIW 2026 Opening CCIW Martin Gruber BMW Group | ||
09:30 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 | ||
10:00 30mTalk | Beyond Detection: Evaluating Flaky Test Fix Effectiveness CCIW | ||
09:00 - 10:30 | |||
09:00 50mKeynote | The power of experimentation Intelligent SE Andreas Zeller CISPA Helmholtz Center for Information Security | ||
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 | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Hybrid Approach to Optimizing Build and Test Time: Marginal and Concurrent Delay Analysis CCIW | ||
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 | ||
11:00 - 12:30 | |||
11:00 20mPoster | Cross-Simulation Validation of an ML Surrogate for Multirotor Emergency-Landing Risk Assessment Intelligent SE Jinet A. Onyango Gyeongsang National Unviersity, Jeongheon Seo , Changhui Bae Gyeongsang National University, Euteum Choi Gyeongsang National Unviersity, Seongjin Lee Gyeongsang National Unviersity | ||
11:20 20mPaper | Early Warning of Performance Degradation in Object Detection Models via Explainable AI Intelligent SE | ||
11:40 20mPaper | CodeQual-Agent: An Intelligent LLM-Agent Framework for Automated Software Quality Assessment with Explainable Predictions and Real-Time Analysis Intelligent SE Faisal Mohammad Jeonbuk National University, Junaid Khan Kakar , Dimitri Romain Be Ndong , Chas Mot , Duksan Ryu Jeonbuk National University | ||
12:00 30mTalk | How to improve the software development process and open-source collaboration in the ROS framework Intelligent SE Michel Albonico University of Southern Denmark | ||
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 | ||
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 | ||
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 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 | ||