ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Dates
Wed 17 Apr 2024
Thu 18 Apr 2024
Fri 19 Apr 2024
Tracks
ICSE Demonstrations
ICSE Industry Challenge Track
ICSE Journal-first Papers
ICSE New Ideas and Emerging Results
ICSE Research Track
ICSE Software Engineering Education and Training
ICSE Software Engineering in Practice
ICSE Software Engineering in Society
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 17 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
12:14
7m
Talk
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
Demonstrations
Mustafa Al Lail Texas A&M International University, Antonio Rosales Viesca Texas A&M International University, Hector Cardenas Texas A&M International University, Mohammad Zarour Hashemite University, Alfredo Perez University of Nebraska at Omaha
11:00 - 12:30
12:21
7m
Talk
DronLomaly: Runtime Log-based Anomaly Detector for DJI Drones
Demonstrations
Wei Minn Singapore Management University, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University
14:00 - 15:30
15:00
7m
Talk
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Demonstrations
Zhiqiang Zang The University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Milos Gligoric The University of Texas at Austin
DOI Pre-print
14:00 - 15:30
15:22
7m
Talk
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
Demonstrations
Wenhan Feng Institute of Software, Chinese Academy of Sciences, Qiugen Pei Joint Laboratory on Cyberspace Security China Southern Power Grid, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Zhenyue Long Joint Laboratory on Cyberspace Security China Southern Power Grid
Pre-print
14:00 - 15:30
15:15
7m
Talk
CodeGRITS: A Research Toolkit for Developer Behavior and Eye Tracking in IDE
Demonstrations
Ningzhi Tang University of Notre Dame, Junwen An , Meng Chen , Aakash Bansal University of Notre Dame, Yu Huang Vanderbilt University, Collin McMillan University of Notre Dame, Toby Jia-Jun Li University of Notre Dame
14:00 - 15:30
Dependability and Formal methods 1Software Engineering in Practice / Demonstrations / Research Track at Maria Helena Vieira da Silva
Chair(s): Domenico Bianculli University of Luxembourg
15:15
7m
Talk
nvshare: Practical GPU Sharing without Memory Size Constraints
Demonstrations
Georgios Alexopoulos University of Athens, Dimitris Mitropoulos University of Athens
Pre-print
15:22
7m
Talk
Daedalux: An Extensible Platform for Variability-Aware Model Checking
Demonstrations
Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy University of Luxembourg, Luxembourg, Simon Thrane Hansen SnT, University of Luxembourg, Axel Legay Université Catholique de Louvain, Belgium
16:00 - 17:30
Program binaries - evolvabilityResearch Track / Software Engineering in Practice / Demonstrations at Amália Rodrigues
Chair(s): Auri Vincenzi Federal University of São Carlos
17:07
7m
Talk
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
Demonstrations
Rijnard van Tonder Mysten Labs, Inc.
16:00 - 17:30
Analytics 2Research Track / Journal-first Papers / Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
17:21
7m
Talk
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
Demonstrations
Nuno Saavedra INESC-ID and IST, University of Lisbon, André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Dependability and Formal methods 2Research Track / Software Engineering Education and Training / Demonstrations / Software Engineering in Practice at Glicínia Quartin
Chair(s): Jácome Cunha University of Porto & HASLab/INESC
12:22
7m
Talk
SpotFlow: Tracking Method Calls and States at Runtime
Demonstrations
Pre-print Media Attached
11:00 - 12:30
Language Models and Generated Code 2Demonstrations / Research Track at Maria Helena Vieira da Silva
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
12:15
7m
Talk
TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion
Demonstrations
Arkadii Sapozhnikov JetBrains Research, Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology, Vladimir Kovalenko JetBrains Research, Pouria Derakhshanfar JetBrains Research
14:00 - 15:30
15:15
7m
Talk
ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation
Demonstrations
Hongyue Pan BeiHang Uviversity, Yilong Yang Beihang University
14:00 - 15:30
15:06
7m
Talk
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Demonstrations
Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Jiawei Wang Monash University, Amir Mir Delft University of Technology, Li Li Beihang University, Eric Bodden
14:00 - 15:30
Analytics 3Research Track / Journal-first Papers / Demonstrations at Maria Helena Vieira da Silva
Chair(s): Sridhar Chimalakonda Associate Professor, Indian Institute of Technology Tirupati; Adjunct Associate Professor, University of Waterloo
15:14
7m
Talk
Boidae: Your Personal Mining Platform
Demonstrations
Brian Sigurdson Bowling Green State University, Samuel W. Flint University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln
Pre-print Media Attached
15:21
7m
Talk
Code Mapper: Mapping the Global Contributions of OSS
Demonstrations
Thomas Le Tourneau CY Tech, Jasmine Latendresse Concordia University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University

Fri 19 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
12:00
7m
Talk
Refinery: Graph Solver as a Service
Demonstrations
Kristóf Marussy Budapest University of Technology and Economics, Attila Ficsor Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
DOI Pre-print Media Attached
12:07
7m
Talk
(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results
Demonstrations
Rafael F. Toledo University of Waterloo, Joanne M. Atlee University of Waterloo, Rui Ming Xiong University of Waterloo, Mingyu Liu University of Waterloo
DOI Media Attached
11:00 - 12:30
Analytics 4Demonstrations / Software Engineering in Practice / Journal-first Papers / Research Track at Amália Rodrigues
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana
12:14
7m
Talk
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
Demonstrations
Michael Assad Technical University of Munich, Christopher S. Meiklejohn Carnegie Mellon University, Heather Miller Carnegie Mellon University and Two Sigma, Stephan Krusche Technical University of Munich
DOI Pre-print Media Attached
12:21
7m
Talk
CATMA: Conformance Analysis Tool For Microservice Applications
Demonstrations
Clinton Cao Delft University of Technology, Simon Schneider Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Sicco Verwer TU Delft, Annibale Panichella Delft University of Technology, Riccardo Scandariato Hamburg University of Technology
Pre-print Media Attached
11:00 - 12:30
Testing with and for AI 1Research Track / Journal-first Papers / Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): Peter Rigby Concordia University; Meta
12:13
7m
Talk
SAFE: Safety Analysis and Retraining of DNNs
Demonstrations
Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Pre-print
12:20
7m
Talk
MutaBot: A Mutation Testing Approach for Chatbots
Demonstrations
Michael Ferdinando Urrico University of Milano - Bicocca, Diego Clerissi University of Milano-Bicocca, Leonardo Mariani University of Milano-Bicocca
DOI Pre-print Media Attached
14:00 - 15:30
Language Models and Generated Code 3Research Track / Demonstrations at Almada Negreiros
Chair(s): Jie M. Zhang King's College London
15:15
7m
Talk
GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories
Demonstrations
Liam Todd Monash University, John Grundy Monash University, Christoph Treude Singapore Management University
Pre-print Media Attached
14:00 - 15:30
15:15
7m
Talk
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Demonstrations
Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Sebastiano Panichella Zurich University of Applied Sciences, Paolo Tonella USI Lugano
DOI Pre-print
14:00 - 15:30
15:14
7m
Talk
AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction
Demonstrations
Eman Abdullah AlOmar Stevens Institute of Technology, Benjamin Knobloch Stevens Institute of Technology, Thomas Kain Stevens Institute of Technology, Christopher Kalish Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint, Ali Ouni ETS Montreal, University of Quebec
14:00 - 15:30
Testing with and for AI 2Journal-first Papers / Research Track / Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
15:19
7m
Talk
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Demonstrations
Lev Sorokin fortiss, Tiziano Munaro fortiss, Damir Safin fortiss, Brian Hsuan-Cheng Liao DENSO AUTOMOTIVE, Adam Molin DENSO AUTOMOTIVE
16:00 - 17:30
16:59
7m
Talk
Emulation Tool For Android Edge Devices
Demonstrations
Lyla Naghipour Vijouyeh University of Oslo, Rodrigo Bruno INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Paulo Ferreira University of Oslo
16:00 - 17:30
17:14
7m
Talk
APICIA: An API Change Impact Analyzer for Android Apps
Demonstrations
Tarek Mahmud Texas State University, Meiru Che Central Queensland University, Jihan Rouijel Texas State University, Mujahid Khan Texas State University, Guowei Yang University of Queensland
17:21
7m
Talk
RAT: A Refactoring-Aware Tool for Tracking Code History
Demonstrations
Feifei Niu University of Ottawa, Junqian Shao Nanjing University, Chaofan Xu Nanjing University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Wesley Assunção North Carolina State University, Liguo Huang Southern Methodist University, Chuanyi Li Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz

Accepted Papers

Title
AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction
Demonstrations
APICIA: An API Change Impact Analyzer for Android Apps
Demonstrations
Boidae: Your Personal Mining Platform
Demonstrations
Pre-print Media Attached
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
Demonstrations
DOI Pre-print Media Attached
CATMA: Conformance Analysis Tool For Microservice Applications
Demonstrations
Pre-print Media Attached
CodeGRITS: A Research Toolkit for Developer Behavior and Eye Tracking in IDE
Demonstrations
Code Mapper: Mapping the Global Contributions of OSS
Demonstrations
Daedalux: An Extensible Platform for Variability-Aware Model Checking
Demonstrations
DronLomaly: Runtime Log-based Anomaly Detector for DJI Drones
Demonstrations
Emulation Tool For Android Edge Devices
Demonstrations
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
Demonstrations
Pre-print
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
Demonstrations
GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories
Demonstrations
Pre-print Media Attached
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Demonstrations
DOI Pre-print
MutaBot: A Mutation Testing Approach for Chatbots
Demonstrations
DOI Pre-print Media Attached
(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results
Demonstrations
DOI Media Attached
nvshare: Practical GPU Sharing without Memory Size Constraints
Demonstrations
Pre-print
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Demonstrations
RAT: A Refactoring-Aware Tool for Tracking Code History
Demonstrations
Refinery: Graph Solver as a Service
Demonstrations
DOI Pre-print Media Attached
SAFE: Safety Analysis and Retraining of DNNs
Demonstrations
Pre-print
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Demonstrations
DOI Pre-print
SpotFlow: Tracking Method Calls and States at Runtime
Demonstrations
Pre-print Media Attached
TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion
Demonstrations
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
Demonstrations
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Demonstrations
ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation
Demonstrations
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
Demonstrations

Call for Contributions

The ICSE 2024 Demonstrations Track aims to make the software engineering community aware of new advances in our field through compelling demonstrations that help advance research and practice. The track is a highly interactive venue where researchers and practitioners can demonstrate their tools and discuss them with attendees.

Tool-based demonstrations describe novel aspects of early prototypes or mature tools. The tool demonstrations must communicate clearly the following information to the audience:

  • the envisioned users;
  • the software engineering challenge it proposes to address;
  • the methodology it implies for its users; and
  • the results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional ICSE research papers. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including details such as implementation and usage issues, data models and representations, and APIs for tool and data access. Authors of regular research papers are thus also encouraged to submit an accompanying demonstration paper. In such cases, the authors must ensure that the tool details should not have already been discussed in the original paper and the tool paper provides more information on implementation and usage.

Evaluation

Each submission will be reviewed by at least three members of the Demonstrations Track program committee. The evaluation criteria include:

  • the relevance of the proposed demonstration for the ICSE audience;
  • the technical soundness of the submission;
  • the originality of its underlying ideas;
  • the quality of its presentation in the associated video;
  • the potential applications and usefulness of the tool; and
  • the degree to which it considers the relevant literature.

How to Submit

Submissions must conform to the conference submission and formatting instructions (https://www.acm.org/publications/proceedings-template). In particular, submissions of demonstration papers must meet the following criteria: A demonstration submission may not exceed four pages for content and figures, with one page for references only.

Each submission must be accompanied by a short video (between three and five minutes long) illustrating the demonstration.

  • The submission must contain a link to the publicly available tool and its usage instructions. Optionally, if the tool is open-source, the submission should link the corresponding repository.
  • The video should be made available online at the time of submission. Videos should:
    1. provide an overview of the tool capabilities and/or dataset characteristics;
    2. walk through of (some of) the tool capabilities and/or data analysis process;
    3. where appropriate, provide clarifying voice-over and/or annotation highlights; and
    4. be engaging and exciting for the viewer!
  • A submission must not have been previously published in a demonstration form. The paper submission must be in PDF.

  • The tool demonstrations track will be using the single-anonymous reviewing model (the authors do not know who the reviewers are), so please include the authors’ identities in the submission materials.
  • Upon acceptance, authors have the possibility to separately submit their supplementary material to the ICSE 2024 Artifact Evaluation track, for recognition of artifacts that are reusable, available, replicated or reproduced.

Papers must be submitted electronically through the Demonstration Track submission site (https://icse2024-demo.hotcrp.com/). At the end of the abstract, make sure to append the URL at which your demo video can be found. Please note that, for consistency, we require that all videos be uploaded to YouTube and made accessible during the time of reviewing. Authors of successful submissions will have the opportunity to revise both the paper and the video (and its hosting location) by the camera-ready deadline.

For examples of previously successful short videos, please see the examples from ICSE 2018: https://www.youtube.com/playlist?list=PL6g5MCGbJtUF1iW4RSPvUtbKkemrVYrkP

Authors are encouraged to distribute their demonstration in an easy-to-use form, such as a virtual machine image, a software container (e.g., Docker), or a system configuration (e.g., Puppet, Ansible, Salt, CFEngine).

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

Important Dates (AOE Time)

Submission Deadline: 23-Oct-2023

Acceptance Notification: 20-Dec-2023

Camera Ready: 19-Jan-2024

Co-Chairs

Andrea Stocco, Technical University of Munich and fortiss, Germany

Tushar Sharma, Dalhousie University, Canada

:
: