ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:00 - 13:30
13:30 - 15:00
Tool Demos 1Tool Demonstrations at EI 5 Hochenegg
Chair(s): Rohan Padhye Carnegie Mellon University
13:30
12m
Talk
Generalized Concurrency Testing Tool for Distributed Systems
Tool Demonstrations
Ege Berkay Gulcan Delft University of Technology, João Neto Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
DOI Media Attached
13:42
12m
Talk
Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEADistinguished Tool Demo Award
Tool Demonstrations
Alexander Potapov JetBrains, Maksim Zuev JetBrains, Evgenii Moiseenko JetBrains Research, Nikita Koval JetBrains
13:55
12m
Talk
JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Tool Demonstrations
Zaiyu Cheng University of Manchester, Tong Wu University of Manchester, Peter Schrammel University of Sussex and Diffblue Ltd, Norbert Tihanyi Eotvos Lorand University, Eddie B. de Lima Filho TPV Technology, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
14:08
12m
Talk
ESBMC-Python: A Bounded Model Checker for Python Programs
Tool Demonstrations
Bruno Farias University of Manchester, Rafael Menezes University of Manchester, Eddie B. de Lima Filho TPV Technology, Youcheng Sun University of Manchester, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
Media Attached
14:21
12m
Talk
Panda: A Concurrent Scheduler for Compiler-Based Tools
Tool Demonstrations
Xutong Ma Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI Pre-print Media Attached
14:34
12m
Talk
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Tool Demonstrations
Ningyu He Peking University, Zhehao Zhao Peking University, Hanqin Guan Peking University, Jikai Wang Huazhong University of Science and Technology, Shreya Mathews IMC University of Applied Sciences Krems, Ding Li Peking University, Haoyu Wang Huazhong University of Science and Technology, Xiangqun Chen Peking University, Yao Guo Peking University
14:47
12m
Talk
PolyTracker: Whole-Input Dynamic Information Flow TracingDistinguished Tool Demo Award
Tool Demonstrations
Evan Sultanik Trail of Bits, Marek Surovič Trail of Bits, Henrik Brodin Trail of Bits, Kelly Kaoudis Trail of Bits, Facundo Tuesca Trail of Bits, Carson Harmon Trail of Bits, Lisa Overall Trail of Bits, Joseph Sweeney Trail of Bits, Bradford Larsen Trail of Bits
15:00 - 15:30
15:30 - 17:00
Tool demos 2Tool Demonstrations at EI 5 Hochenegg
Chair(s): Rohan Padhye Carnegie Mellon University
15:30
12m
Talk
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Tool Demonstrations
Paul Fiterau-Brostean Uppsala University, Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Fredrik Tåquist Uppsala University, Bengt Jonsson Uppsala University, Sweden
DOI Media Attached
15:42
12m
Talk
FRAFOL: FRAmework FOr Learning mutation testing
Tool Demonstrations
Pedro Tavares Faculty of Engineering, University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Domenico Amalfitano University of Naples Federico II, René Just University of Washington
15:55
12m
Talk
FixCheck: A Tool for Improving Patch Correctness Analysis
Tool Demonstrations
Facundo Molina IMDEA Software Institute, Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Alessandra Gorla IMDEA Software Institute
16:08
12m
Talk
HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Tool Demonstrations
Luqiao Wang Xidian University, Qiangqiang Wang Xidian University, Jiaqi Wang Xidian University, Yutong Zhao University of Central Missouri, Minjie Wei Xidian University, Zhou Quan Xidian University, Di Cui Xidian University, Qingshan Li Xidian University
16:21
12m
Talk
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates
Tool Demonstrations
Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
16:34
12m
Talk
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Tool Demonstrations
Yunqi Liu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
Media Attached
16:47
12m
Talk
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Tool Demonstrations
Alessio Gambi Austrian Institute of Technology (AIT), Shreya Mathews IMC University of Applied Sciences Krems
17:45 - 23:00
BanquetSocial Events at Fuhrgassl-Huber

We will take buses from the conference venue to go to the banquet.

Accepted Papers

Title
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates
Tool Demonstrations
ESBMC-Python: A Bounded Model Checker for Python Programs
Tool Demonstrations
Media Attached
FixCheck: A Tool for Improving Patch Correctness Analysis
Tool Demonstrations
FRAFOL: FRAmework FOr Learning mutation testing
Tool Demonstrations
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Tool Demonstrations
Media Attached
Generalized Concurrency Testing Tool for Distributed Systems
Tool Demonstrations
DOI Media Attached
HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Tool Demonstrations
JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Tool Demonstrations
Panda: A Concurrent Scheduler for Compiler-Based Tools
Tool Demonstrations
DOI Pre-print Media Attached
PolyTracker: Whole-Input Dynamic Information Flow TracingDistinguished Tool Demo Award
Tool Demonstrations
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Tool Demonstrations
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Tool Demonstrations
DOI Media Attached
Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEADistinguished Tool Demo Award
Tool Demonstrations
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Tool Demonstrations

Call For Papers

The joint ISSTA/ECOOP 2024 Tool Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysis tools, programming languages, systems and environments that aid either practice, research, or both. Submissions may describe early prototypes of tools, mature tools, and everything in between. To help disseminate tools to the community, we encourage submissions describing previously unpublished tools, whose underlying techniques may have already been published.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional research papers published at software engineering and programming languages venues, including ISSTA and ECOOP. A demonstration provides the opportunity to communicate how a scientific approach has been implemented or how a specific hypothesis has been assessed, including implementation and usage details, data models and representations, and APIs for data access. Authors of regular research papers at ISSTA, ECOOP or other SE/PL conferences e.g., ICSE, ESEC/FSE, ASE or OOPSLA, PLDI are, thus, also encouraged to submit an accompanying tool demonstration paper. The tool demonstration papers must be original; however, substantial improvements or extensions to existing tools are also encouraged. Tool demonstration papers must not be concurrently under review at ISSTA, ECOOP or at another venue. Authors are strongly encouraged to make their tools publicly available under an open-source license.

Authors of accepted tool demos will have the opportunity to present their work in the conference program.

Content

The submission must communicate clearly the following information:

  • The tool’s envisioned users
  • The software testing, analysis, or programming language challenge(s) the tool addresses
  • How to use the tool
  • Either results of conducted validation studies or the design of planned studies
  • New! All papers must include a short section titled “Tool Availability” which should include the following information:
    1. A URL for downloading or accessing the latest version of the tool (e.g., a GitHub repository or a cloud-based web service). Please also briefly mention what level of documentation is available for using and/or extending the tool.
    2. A YouTube link demonstrating the use of the tool as of the current version.
    3. An archived version of the tool at the time of submission (e.g., a DOI for a ZIP file hosted at Zenodo), if appropriate. If your tool is not freely available on the Internet, the “Tool Availability” section must contain a paragraph explaining who can access the tool and how they can do so (e.g., by request, purchase, or if access is restricted to certain groups).

Evaluation

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

  • The relevance of the proposed tool demonstration to the ISSTA/ECOOP audience
  • The technical soundness of the demonstrated tool
  • The originality of the underlying ideas
  • The quality of the paper’s presentation
  • The potential applications and usefulness of the tool
  • The comparison to the related work

How to submit

Submissions must conform to the ACM Conference Format. A tool demonstration submission may not exceed four pages, including all text, figures, and links to artifact availability (see above). Up to one additional page may be used for references. The paper submission must be in PDF. The Tool Demonstration track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors.

Submit papers via HotCRP: https://isstaecoopdemos24.hotcrp.com.

Program Committee

All submissions will be peer-reviewed by a program committee consisting of experts in the fields of software testing, analysis, and programming languages. If you wish to nominate yourself to serve on the Tool Demos PC, please fill in this Google Form by December 1, 2023: https://forms.gle/N84eTxN22W9SX9CV7

Questions? Use the ISSTA/ECOOP Tool Demonstrations contact form.