The Industry Track at ICST 2026 aligns seamlessly with the conference’s overarching themes of innovation, quality, and practicality in Software Testing, Verification, and Validation, emphasizing real-world impact and practicality over novelty. More details are available in the Call for Papers.
Dates
Tracks
Tue 19 MayDisplayed time zone: Seoul change
Tue 19 May
Displayed time zone: Seoul change
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 | ||
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 | ||
Wed 20 MayDisplayed time zone: Seoul change
Wed 20 May
Displayed time zone: Seoul change
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 | ||
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 | ||
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 | ||
Thu 21 MayDisplayed time zone: Seoul change
Thu 21 May
Displayed time zone: Seoul change
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 | ||
Accepted Papers
Call for Papers
ICST 2026, the 19th IEEE International Conference on Software Testing, Verification and Validation, is delighted to invite you to contribute to and participate in our prestigious Industry Track. At ICST 2026, we recognize the crucial role that industry professionals play in shaping the landscape of software testing, verification, and validation.
About ICST 2026 - Industry Track
The Industry Track at ICST 2026 aligns seamlessly with the conference’s overarching themes of innovation, quality, and practicality. We extend our warmest invitation to high-caliber submissions that transcend boundaries and bring a fresh perspective to the software testing field.
Our Expectations
While the Industry Track shares the same overarching topics as the Research Track, we emphasize real-world impact and practicality over novelty. We are looking for submissions that:
- Highlight Useful Testing Tools: Present groundbreaking testing tools that have demonstrable real-world utility
- Share Success Stories: Showcase your experiences and success stories in applying software testing theories and methodologies to practical scenarios
- Unveil Promising Prototypes: Introduce prototypes with the potential to revolutionize software testing practices in the near future
Real-World Evaluation and Beyond
We believe in the power of practicality. Industry Track submissions should ideally be grounded in real-world, industrial data. In addition, we encourage discussions on non-functional aspects such as scalability and reliability, as well as comparisons to established industrial best practices.
Publication and Recognition
Accepted Industry Track papers will be published in the ICST 2026 proceedings and prominently listed in the esteemed IEEE databases. This is your opportunity to contribute to the global knowledge repository and gain recognition for your valuable insights.
Topics of Interest
Topics for submission to the Industry Track include, but are not limited to:
- Applications of software testing theories in practice
- Applying machine learning techniques to testing
- AI-assisted software testing
- Empirical studies
- Experience reports
- Formal verification
- Manual and social aspects of the software testing process
- Mobile testing
- Model-based testing
- Model checking
- Privacy testing
- Search-based software testing
- Security testing
- Software reliability
- Static and dynamic analysis
- Test automation
- Testability and design
- Testing/debugging frameworks and tools
- Test-driven development and Agile testing
- Testing AI-based systems
- Testing and development processes
- Testing education
- Domain-specific testing (e.g., autonomous vehicles, IoT applications, advanced control systems, mobile or web app testing, embedded systems testing, blockchain applications, concurrent systems, GUI testing, etc.)
- Testing of non-functional properties such as security, accessibility, and performance
- Theory of software testing
- Validation and user acceptance techniques
Important Dates
- Full Paper Submission: 5 February 2026
- Author notification: 18 March 2026
- Camera-ready deadline: TBD
For comprehensive submission guidelines and further information, please visit our conference website: https://conf.researchr.org/home/icst-2026
Anonymous Policy
Industry track papers do not need to be double-anonymized. Since industry papers typically rely heavily on the industrial/practical context in which the work was carried out, it would be too much to ask to require this context to be anonymized. Please contact the industry track chairs if you have more questions.
Together, let’s shape the future of software testing! We eagerly anticipate your contributions to ICST 2026 - Industry Track
Submission Format
Industry papers must conform to the two-column IEEE conference publication format. Templates for LaTeX and Microsoft Word are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html: please use the letter format template and conference option.
Papers should be submitted in PDF format: they must be at most ten pages, plus up to two pages of references. Submissions will be handled via HotCRP.
Papers must not have been previously accepted for publication nor be under submission in another conference or journal.
For your paper to be published in the ICST 2026 conference proceedings, at least one of the authors of the paper must register for the conference and confirm that they will present the paper in person.
How to Submit for Industry Track
Papers must be submitted electronically through the ICST Industry Track website at https://icst2026-industry.hotcrp.com/. All submissions must be in English.
By submitting to the ICST Industry Track, authors acknowledge that they are aware of and agree to the IEEE Plagiarism FAQ (https://www.ieee.org/publications/rights/plagiarism/plagiarism-faq.html). In particular, papers submitted to ICST Industry Track 2026 must not have been published elsewhere, nor be under review or submitted for review elsewhere while under consideration for ICST Industry Track 2026.
Any violation of this concurrent submission policy will be considered a serious breach of scientific ethics. To detect such issues, the chairs reserve the right to (1) share submission details with PC Chairs of other conferences with overlapping review periods, and (2) use external plagiarism detection software, such as those under contract with the ACM or IEEE.
Important Dates AoE (UTC-12h)
| Wed 18 Mar 2026 Author Notification |
| Thu 5 Feb 2026 Full Paper Submission Deadline |
Submission Link
Toshiaki AokiIndustry Track Co-Chair
JAIST
Japan
Gabin AnIndustry Track Co-Chair
Korea University
South Korea
Nadia AlshahwanCommittee Member
Meta Platforms
Emil AlégrothCommittee Member
Blekinge Institute of Technology
Domenico AmalfitanoCommittee Member
University of Naples Federico II
Italy
Paolo ArcainiCommittee Member
National Institute of Informatics
Japan
Cyrille ArthoCommittee Member
KTH Royal Institute of Technology, Sweden
Subarno BanerjeeCommittee Member
Amazon Web Services
United States
Yunja ChoiCommittee Member
Kyungpook National University
South Korea
Diego ClerissiCommittee Member
University of Milano-Bicocca
Italy
Xavier DevroeyCommittee Member
University of Namur
Belgium
Shengjian GuoCommittee Member
Amazon Web Services
United States
Tim A. D. HendersonCommittee Member
Google
United States
Jingun HongCommittee Member
SAP Labs Korea
South Korea
Jingjing LiangCommittee Member
East China Normal University
China
Teng LongCommittee Member
Apple
United States
Mohammad Reza MousaviCommittee Member
King's College London
United Kingdom
Thu-Trang NguyenCommittee Member
VNU University of Engineering and Technology
Vietnam
Hideto OgawaCommittee Member
Hitachi Ltd.
Japan
Fabrizio PastoreCommittee Member
University of Luxembourg
Luxembourg
Goran PetrovićCommittee Member
Google Inc
Ramesh SCommittee Member
Donghwan ShinCommittee Member
University of Sheffield
United Kingdom
Seung Yeob ShinCommittee Member
University of Luxembourg
Angelo SusiCommittee Member
Fondazione Bruno Kessler
Italy
Sahar TahviliCommittee Member
Einride AB
Sweden
Tatsuhiro TsuchiyaCommittee Member
Osaka University
Japan
Andreas UlrichCommittee Member
Siemens AG
Fabian VuCommittee Member
Heinrich-Heine-Universität
Germany
Bow-Yaw WangCommittee Member
Kristian WiklundCommittee Member
Ericsson AB
Zichao ZhangCommittee Member
Amazon Web Services
United States