The Testing Tools and Demonstration Track seeks to bridge the gap between research and practice by focusing on software testing tools and their demonstrations that advance both the state of the art and the state of the practice. The track invites submissions that showcase tools at several stages of maturity, including promising research prototypes, widely used research tools, and commercial tools (only if they contribute to scientific knowledge), and from both academia and industry.
Tools and demonstrations paper submissions should clearly describe the complexity of the addressed problem, solved technical challenges, and the validation that the tool actually works (e.g., from previously published research work or new experiments, with preferable experiences from using the tool in the industry).
Dates
Tracks
This program is tentative and subject to change.
Wed 29 MayDisplayed time zone: Eastern Time (US & Canada) change
Wed 29 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:40 | Testing and LLMsIndustry / Research Papers at Room 2 Chair(s): Sudipta Chattopadhyay Singapore University of Technology and Design | ||
11:00 20mIndustry talk | Are We Testing or Being Tested? Exploring the Practical Applications of Large Language Models in Software Testing Industry Robson T. de Souza Santos , Italo Santos Northern Arizona University, Cleyton V. C. de Magalhaes CESAR School, Ronnie de Souza Santos University of Calgary | ||
11:20 20mResearch paper | Improving Patch Correctness Analysis via Random Testing and Large Language Models Research Papers Facundo Molina IMDEA Software Institute, Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Alessandra Gorla IMDEA Software Institute Pre-print | ||
11:40 20mResearch paper | Intent-Driven Mobile GUI Testing with Autonomous Large Language Model Agents Research Papers Juyeon Yoon Korea Advanced Institute of Science and Technology, Robert Feldt Chalmers University of Technology, Sweden, Shin Yoo Korea Advanced Institute of Science and Technology Pre-print | ||
12:00 20mResearch paper | KAT: Dependency-aware Automated API Testing with Large Language Models Research Papers Tri Le , Thien Tran , Duy Cao , Vy Le , Vu Nguyen Head of Research, Katalon Inc.; University of Science, VNU-HCM, Vietnam, Tien N. Nguyen University of Texas at Dallas | ||
12:20 20mResearch paper | Quantizing Large-Language Models for Predicting Flaky Tests Research Papers Shanto Rahman The University of Texas at Austin, Abdelrahman Baz , Sasa Misailovic University of Illinois at Urbana-Champaign, August Shi The University of Texas at Austin | ||
15:30 - 17:00 | |||
15:30 20mResearch paper | MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing Research Papers Yang Zhang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, Dongliang Fang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China, Puzhuo Liu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China； School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China；, Laile Xi , Xiao Lu , Xin Chen , Shuaizong Si , Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, | ||
15:50 20mResearch paper | U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices Research Papers Shang Zewen , Matheus Eduardo Garbelini , Sudipta Chattopadhyay Singapore University of Technology and Design | ||
16:10 20mResearch paper | Formatted Stateful Greybox Fuzzing of TLS server Research Papers | ||
16:30 20mLong-paper | A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receivers via Transport Streams Journal-First Papers Fabrício Izumi Banceira , Eddie Lima Samsung Electronics, Brazil, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil, Orlewilson Maia , Rômulo Fabrício , Bruno Farias , Aguinaldo Silva | ||
16:50 10mDemonstration | MOTIF: A tool for Mutation Testing with Fuzzing Testing Tools and Demonstration Jaekwon Lee University of Ottawa & University of Luxembourg, Enrico Viganò University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
Thu 30 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 30 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:40 | |||
11:00 20mLong-paper | Test Code Flakiness in Mobile Apps: The Developer's Perspective Journal-First Papers Valeria Pontillo Vrije Universiteit Brussel, Fabio Palomba University of Salerno, Filomena Ferrucci University of Salerno | ||
11:20 20mLong-paper | Flakiness goes live: Insights from an In Vivo testing simulation study Journal-First Papers Morena Barboni University of Camerino, Antonia Bertolino National Research Council, Italy, Guglielmo De Angelis CNR-IASI | ||
11:40 20mResearch paper | 262,447 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers Research Papers Abdulrahman Alshammari George Mason University, Paul Ammann George Mason University, USA, Michael Hilton Carnegie Mellon University, Jonathan Bell Northeastern University | ||
12:00 20mResearch paper | Automatically Reproducing Timing-Dependent Flaky-Test Failures Research Papers Shanto Rahman The University of Texas at Austin, Aaron Massey George Mason University, Wing Lam George Mason University, August Shi The University of Texas at Austin, Jonathan Bell Northeastern University | ||
12:20 20mIndustry talk | Cost of Flaky Tests in CI: An Industrial Case Study Industry Fabian Leinen Technical University of Munich, Daniel Elsner TU Munich, Alexander Pretschner TU Munich, Andreas Stahlbauer , Michael Sailer , Elmar Juergens CQSE GmbH Pre-print | ||
11:00 - 12:40 | Mutation Testing and Test PrioritizaitonResearch Papers / Journal-First Papers / Industry at Room 2 Chair(s): Facundo Molina IMDEA Software Institute | ||
11:00 20mIndustry talk | Towards Mutation-guided Test Suites for Smart Contracts Industry | ||
11:20 20mResearch paper | On the Coupling between Vulnerabilities and LLM-generated Mutants: A Study on Vul4J dataset Research Papers Aayush Garg Luxembourg Institute of Science and Technology, Renzo Degiovanni SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg Pre-print | ||
11:40 20mLong-paper | Mutation Testing Optimisations using the Clang Front-end Journal-First Papers Sten Vercammen , Serge Demeyer University of Antwerp; Flanders Make, Markus Borg CodeScene, Niklas Pettersson , Görel Hedin Lund University | ||
12:00 20mResearch paper | MACS: Multi-agent Adversarial Reinforcement Learning for Finding Diverse Critical Driving Scenarios Research Papers Shuting Kang University of Chinese Academy of Sciences, Qian Dong Institute of Software Chinese Academy of Sciences, Yunzhi Xue Institute of Software Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences | ||
12:20 20mLong-paper | Lessons learned from replicating a study on information-retrieval-based test case prioritization Journal-First Papers Nasir Mehmood Minhas Mälardalen University, Mohsin Irshad , Kai Petersen University of Applied Sciences Flensburg, Germany / Blekinge Institute of Technology, Sweden, Jürgen Börstler Blekinge Institute of Technology | ||
14:00 - 15:00 | Software Testing Education and Fault LocalizationResearch Papers / Journal-First Papers at Room 1 Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology | ||
14:00 20mResearch paper | State of the Practice in Software Testing Teaching in Four European Countries Research Papers Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Beatriz Marín Universitat Politècnica de València, Ana Paiva Faculty of Engineering, University of Porto and INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Domenico Amalfitano University of Naples Federico II, Felix Cammaerts KU Leuven, Monique Snoeck Katholieke Universiteit Leuven, Anna Rita Fasolino Federico II University of Naples | ||
14:20 20mLong-paper | Can gamification help in software testing education? Findings from an empirical study Journal-First Papers Raquel Blanco , Manuel Trinidad , María José Suárez-Cabal , Alejandro Calderón Sánchez , Mercedes Ruiz University of Cadiz, Javier Tuya Computer Science Department, University of Oviedo | ||
14:40 20mResearch paper | FusionFL: A statement-level feature fusion based fault localization approach Research Papers Yanbo Zhang , Yawen Wang State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Dongming Zhu , Wenjing Liu | ||
14:00 - 15:00 | |||
14:00 20mIndustry talk | Randomised Testing of the Compiler for a Verification-Aware Programming Language Industry Alastair F. Donaldson Imperial College London, Dilan Sheth Imperial College London, Jean-Baptiste Tristan Amazon Web Services, Alex Usher Imperial College London | ||
14:20 20mLong-paper | Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution Journal-First Papers Elson Kurian University of Milano Bicocca, Daniela Briola University of Milano Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca | ||
14:40 20mResearch paper | EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games Research Papers Saba Gholizadeh Ansari Utrecht University, Wishnu Prasetya Utrecht University, Frank Dignum Umea University, Mehdi Dastani , Gabriele Keller Utrecht University | ||
Fri 31 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 31 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:20 | Testing and ApplicationsResearch Papers / Testing Tools and Demonstration / Industry at Room 1 Chair(s): Vu Nguyen Head of Research, Katalon Inc.; University of Science, VNU-HCM, Vietnam | ||
11:00 20mIndustry talk | In industrial embedded software, are some compilation errors easier to localize and fix than others? Industry Han Fu , Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity, Kristian Wiklund Ericsson AB, Andreas Ermedahl , Philipp Haller KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
11:20 20mResearch paper | Brewing Up Reliability: Espresso Test Generation for Android Apps Research Papers Iván Arcuschin Moreno University of Buenos Aires, Argentina, Lisandro Di Meo , Michael Auer University of Passau, Juan Pablo Galeotti University of Buenos Aires, Gordon Fraser University of Passau | ||
11:40 20mResearch paper | Differential Optimization Testing of Gremlin-Based Graph Database Systems Research Papers Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Ziyu Cui Institute of Software Chinese Academy of Sciences, Jiansen Song Institute of Software Chinese Academy of Sciences, Ziyue Cheng , Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Hua Zhong , Tao Huang Institute of Software Chinese Academy of Sciences | ||
12:00 10mDemonstration | MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications Testing Tools and Demonstration Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida | ||
12:10 10mDemonstration | The GitHub Recent Bugs Dataset for Evaluating LLM-based Debugging Applications Testing Tools and Demonstration Jae Yong Lee , Sungmin Kang , Juyeon Yoon Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology | ||
11:00 - 12:20 | |||
11:00 20mResearch paper | METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities Research Papers Sangwon Hyun University of Adelaide, Mingyu Guo , Muhammad Ali Babar School of Computer Science, The University of Adelaide | ||
11:20 20mIndustry talk | End-to-end RPA-like testing using reinforcement learning Industry Ciprian Paduraru University of Bucharest, Rares Cristea University of Bucharest, Alin Stefanescu University of Bucharest | ||
11:40 20mResearch paper | Spectral Analysis of the Relation between Deep Learning Faults and Neural Activation Values Research Papers | ||
12:00 20mResearch paper | Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing Research Papers Martin Tappler TU Graz; Silicon Austria Labs, Edi Muskardin , Bernhard Aichernig Graz University of Technology, Bettina Könighofer | ||
13:30 - 14:30 | Testing and RepairResearch Papers / Industry at Room 1 Chair(s): August Shi The University of Texas at Austin | ||
13:30 20mResearch paper | Evolutionary Testing for Program Repair Research Papers Haifeng Ruan , Hoang Lam Nguyen Humboldt-Universität zu Berlin, Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Abhik Roychoudhury National University of Singapore | ||
13:50 20mResearch paper | Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? Research Papers Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida, Corina Pasareanu CMU, NASA, KBR, Xuan-Bach D. Le The University of Melbourne, David Cok CEA, LIST, Software Safety and Security Laboratory | ||
14:10 20mIndustry talk | SafeRevert: When Can Breaking Changes be Automatically Reverted? Industry Pre-print | ||
13:30 - 14:30 | Metamorphic and Combinatorial TestingIndustry / Journal-First Papers at Room 2 Chair(s): Wishnu Prasetya Utrecht University | ||
13:30 20mIndustry talk | Metamorphic Testing of an Autonomous Delivery Robots Scheduler Industry Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics
, Xiao-Yi Zhang , Fuyuki Ishikawa National Institute of Informatics Pre-print | ||
13:50 20mLong-paper | Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools Journal-First Papers | ||
Accepted Papers
| Title | |
|---|---|
| MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications Testing Tools and Demonstration | |
| MOTIF: A tool for Mutation Testing with Fuzzing Testing Tools and Demonstration | |
| The GitHub Recent Bugs Dataset for Evaluating LLM-based Debugging Applications Testing Tools and Demonstration | |
| U-Fuzz: A Tool for Stateful Fuzzing of IoT Protocols on COTS Devices Testing Tools and Demonstration |
ICST 2024 Testing Tools and Demonstration Call for Papers
The Testing Tools and Demonstration Track seeks to bridge the gap between research and practice by focusing on software testing tools and their demonstrations that advance both the state of the art and the state of the practice. The track invites submissions that showcase tools at several stages of maturity, including promising research prototypes, widely used research tools, and commercial tools (only if they contribute to scientific knowledge), and from both academia and industry.
Tools and demonstrations paper submissions should clearly describe the complexity of the addressed problem, solved technical challenges, and the validation that the tool works (e.g., from previously published research work or new experiments, with preferable experiences from using the tool in the industry).
The tool paper should clearly communicate the following information to the audience:
- Envisioned users of the tool and the implied use case scenario for its users;
- Software engineering challenges the tool addresses;
- Testing process or testing technique implemented by the tool;
- Results of validation studies already conducted (for mature tools) or the design of the planned studies (for early prototypes);
- Potential ways that the tool could be extended (by the authors or the community) in the future.
The tool itself should be made available for evaluation. At a minimum, the tool should be accessible (either free to download, online accessible, or for purchase). If possible, the source code of the tool should also be available. Exceptions can be granted only if a valid reason is provided explaining why the tool cannot be released (e.g., organizational rules or it was developed for internal use in a company and cannot be made public).
Evaluation:
Each submission will be evaluated based on:
- The relevance and significance of the addressed problem.
- The innovation element of the approach.
- The availability, maturity, and adoption of the tool.
- The presence of lessons learned from developing or using the tool.
- The quality of the presentation.
Submission:
Submissions will be handled via EasyChair (ICST2024 / Testing Tools and Demonstration Track).
The Testing Tools and Demonstration Track of ICST 2024 uses single-anonymous reviewing, meaning authors and tools do not have to be anonymized. All submitted papers must conform to the two-column IEEE conference publication format. Templates for Latex and Word are available at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html;
- It must conform to the IEEE Conference Proceedings Formatting Guidelines (please use the letter format template and conference option).
- Testing tools and demonstration papers must be submitted as PDFs.
- The length of the testing tools and demonstration papers must not exceed 2 pages, including all text, figures, tables, and appendices; one additional page containing only references is permitted. This can be either short papers for the testing tools or extended abstracts for the demonstration. The submission must also comply with the ACM plagiarism policy and procedures. In particular, the same content must not have been published elsewhere and must not be under review elsewhere while under review for ICST. The submission must also comply with the IEEE Policy on Authorship.
Accepted papers will be published in ICST conference proceedings.
Special issue as part of the SCP journal:
The ICST 2024 Testing Tools and Demonstration Track will organize a special issue in the Software Track of the Science of Computer Programming (SCP) and invite authors of the best tools to publish their research software. In particular, we actively support researchers who put a lot of effort into tool development to support research. The authors can have their refereed software published, just like a research paper.
Invitation of selected submission: 1 July 2024
Important Dates
- Submission: Monday, 29 Jan
- Author Notification: Monday, 26 Feb
- Camera Ready: Friday, 1 March
Poster Presentation:
Authors of tools and demonstration papers will also be given the option to make a poster presentation.
Important Dates AoE (UTC-12h)
| Fri 1 Mar 2024 Camera Ready |
| Mon 26 Feb 2024 Author Notification |
| Mon 29 Jan 2024 Submission |
Submission Link
An Ran ChenCo-chair
University of Alberta
Canada
Tao YueCo-chair
Beihang University
China
Alessio Gambi
Andrea Arcuri
Kristiania University College and Oslo Metropolitan University
Norway
Aitor Arrieta
Mondragon University
Spain
Mariano Ceccato
University of Verona
Italy
Erik Fredericks
Grand Valley State University
United States
Fuyuki Ishikawa
National Institute of Informatics
Japan
Maurizio Leotta
DIBRIS, University of Genova, Italy
Italy
Kevin Moran
University of Central Florida
United States
Minxue Pan
Nanjing University
China
Rudolf Ramler
Software Competence Center Hagenberg (SCCH)
Austria
Vincenzo Riccio
University of Udine
Italy
Hassan Sartaj
Simula Research Laboratory
Norway
Ali Shokri
Virginia Tech
United States
Allison Sullivan
University of Texas at Arlington
United States
Xiaoyuan Xie
School of Computer Science, Wuhan University, China
China
Man Zhang
Beihang University, China
Xiao-Yi Zhang
University of Science and Technology Beijing