The SRC, Tools, and Posters tracks are jointly organized for ISSTA/SPLASH 2026. All three tracks share the same deadlines.

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026 and the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2026 will be co-located. As part of this joint event, we invite submissions to the Tool Demonstration Track, jointly organized across ISSTA and SPLASH.

The Tool Demonstration Track serves as a venue for publishing and presenting advances in software testing, analysis, and programming languages tools 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 traditional research papers. A demonstration provides the opportunity to communicate how a scientific approach has been implemented or how a hypothesis has been assessed, including implementation and usage details, data models, representations, and APIs. Authors of regular research papers at ISSTA and SPLASH, or other SE conferences e.g., ICSE, ESEC/FSE, or ASE are, thus, also encouraged to submit an accompanying tool demonstration paper. Submissions must be original; however, substantial improvements or extensions to existing tools are encouraged. Authors are strongly encouraged to make their tools publicly available under an open-source license.

Tool demonstration papers must not be concurrently under review at any other SPLASH/ISSTA’26 tracks or any external venue.

Accepted papers will be included in the SPLASH Companion proceedings and become available in the ACM Digital Library.

Accepted Papers

Title
ADEPT: A Unified Framework for Deep Learning Test Adequacy
Tool Demonstrations
bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows
Tool Demonstrations
CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Tool Demonstrations
CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Tool Demonstrations
Pre-print Media Attached
DebugTracker: Lightweight Process Evidence for Classroom Debugging
Tool Demonstrations
Diffpoints: Breakpoints Comparing Values of Variables
Tool Demonstrations
Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
Tool Demonstrations
Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Tool Demonstrations
FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Tool Demonstrations
Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Tool Demonstrations
HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis
Tool Demonstrations
Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Tool Demonstrations
LPR+: Diverse Transformations for LLM-Aided Program Reduction
Tool Demonstrations
OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development
Tool Demonstrations
OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Tool Demonstrations
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Tool Demonstrations
PyMut4SE: Comprehensive Mutation Testing for Python
Tool Demonstrations
Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM
Tool Demonstrations
RepairFormer: Automated Repair of Structured Inputs Using Transformers
Tool Demonstrations
RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets
Tool Demonstrations
SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
Tool Demonstrations
Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
Tool Demonstrations
SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Tool Demonstrations
Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Tool Demonstrations
VarCHEKER: A Variability-based Static Analyzer for Python Applications
Tool Demonstrations
WGSLsmith: Randomised Testing for the WebGPU Shading Language
Tool Demonstrations

The submission must communicate clearly the following information:

  • The tool’s envisioned users
    • The software testing, analysis challenge(s) the tool addresses
    • How to use the tool
    • Either results of conducted validation studies or the design of planned studies
    • 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).

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 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

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 submission should be double-column, and authors using LaTeX should use the sample-sigconf.tex file (found in the samples folder of the acmart package). 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 here.