SPLASH/ISSTA 2026 - Tool Demonstrations

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.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Program Analysis, Verification & DebuggingSPLASH/ISSTA Tool Demonstrations at OCC 202 Chair(s): Vesal Vojdani University of Tartu

10:30 18m Paper		FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis SPLASH/ISSTA Tool Demonstrations A: Zhenghong Yu University of Wisconsin-Madison, A: Hangdong Zhao Microsoft Gray Systems Lab, A: Wanzhu Hou University of Wisconsin-Madison, A: Paraschos Koutris University of Wisconsin-Madison
10:48 18m Talk		Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification SPLASH/ISSTA Tool Demonstrations A: Joonghoon Lee Korea University, A: Nicolas Klose ETH Zurich, A: Seokhyun Lee Korea University, South Korea, A: Peter Müller ETH Zurich, A: Hakjoo Oh Korea University
11:06 18m Paper		VarCHEKER: A Variability-based Static Analyzer for Python Applications SPLASH/ISSTA Tool Demonstrations A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University, A: Amir Niaraki Musco Sports Lighting
11:24 18m Paper		Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs SPLASH/ISSTA Tool Demonstrations A: Paolo Di Biase Gran Sasso Science Institute, A: Bernd Fischer Stellenbosch University, A: Salvatore La Torre Università degli Studi di Salerno, A: Peter Schrammel Diffblue Ltd, A: Gennaro Parlato University of Molise
11:42 18m Paper		Diffpoints: Breakpoints Comparing Values of Variables SPLASH/ISSTA Tool Demonstrations A: Filip Čmilňák Technical University of Košice, A: Matúš Sulír Technical University of Košice, A: Milan Nosáľ ValeSoft, s.r.o. Link to publication Media Attached

13:30 - 15:00	Testing & Quality AssuranceSPLASH/ISSTA Tool Demonstrations at OCC 202 Chair(s): Soneya Binta Hossain University of Texas at Dallas

13:30 18m Paper		Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases SPLASH/ISSTA Tool Demonstrations A: Alastair F. Donaldson Imperial College London, A: James Lee-Jones Imperial College London, A: Jonathan Foo Imperial College London
13:48 18m Paper		WGSLsmith: Randomised Testing for the WebGPU Shading Language SPLASH/ISSTA Tool Demonstrations A: Michał Andryskowski Imperial College London, A: Amber Gorzynski Imperial College London, A: Hasan Mohsin Imperial College London, A: Alastair F. Donaldson Imperial College London
14:06 18m Paper		ADEPT: A Unified Framework for Deep Learning Test Adequacy SPLASH/ISSTA Tool Demonstrations A: Yidi Kao Auburn University, A: Shawn Burnham Auburn University, A: Tommi Rose Fahy Auburn University, A: Ali Ghanbari Auburn University
14:24 18m Paper		PyMut4SE: Comprehensive Mutation Testing for Python SPLASH/ISSTA Tool Demonstrations A: Laura Plein CISPA Helmholtz Center for Information Security, A: Matthieu Jimenez SnT, University of Luxembourg, A: Mike Papadakis University of Luxembourg
14:42 18m Paper		SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs SPLASH/ISSTA Tool Demonstrations A: Myungho Lee Samsung SDS, A: Seokhyeon Moon Samsung SDS, A: Yoon-Chan Jhi Technology Research, Samsung SDS, Seoul, South Korea, A: Hakjoo Oh Korea University

15:30 - 17:00	Developer Tools, Diagnostics & AutomationSPLASH/ISSTA Tool Demonstrations at OCC 202 Chair(s): Lucie le Blanc

15:30 18m Paper		HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis SPLASH/ISSTA Tool Demonstrations A: Sachin Gupta eBay Inc.
15:48 18m Talk		CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation SPLASH/ISSTA Tool Demonstrations A: Alessandro Botta University of Texas at Dallas, A: Shiven Garisa Heritage High School, A: Jaya Vardhini Akurathi University of Texas at Dallas, A: Ahsanul Ameen Sabit University of Texas at Dallas, A: Trey Woodlief William & Mary, A: Soneya Binta Hossain University of Texas at Dallas
16:06 18m Paper		RepairFormer: Automated Repair of Structured Inputs Using Transformers SPLASH/ISSTA Tool Demonstrations A: Ovi Paul University of Houston, A: Tom J King University of Houston, A: Ali Shokri University of Houston Pre-print Media Attached
16:24 18m Paper		Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis SPLASH/ISSTA Tool Demonstrations A: Youyang Kim Kyungpook National University, A: Sahil Suneja IBM Research, A: Yong-Hwan Jeong Kyungpook National University, A: Yunja Choi Kyungpook National University, A: Young-Woo Kwon Kyungpook National University, A: Byungchul Tak Kyungpook National University
16:42 18m Paper		bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows SPLASH/ISSTA Tool Demonstrations A: Filip Riha Czech Technical University in Prague, A: Filip Křikava Czech Technical University

Unscheduled Events

	Not scheduled Paper		Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SPLASH/ISSTA Tool Demonstrations A: Huacan Wang Midea AIRC, A: Jie Zhou Midea AIRC, A: Ningyan Zhu Midea AIRC, A: Shuo Zhang Midea AIRC, A: Yanlun Tu Midea AIRC, A: Feiyu Chen Midea AIRC, A: Jiarou Wu Midea AIRC, A: Ziyue Zhou Midea AIRC, A: Ge Chen Midea AIRC, A: Chen Liu Peking University, A: Wangyi Chen Midea AIRC, A: Xiaofeng Mou Midea AIRC, A: Yi Xu Midea AIRC Link to publication
	Not scheduled Paper		RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets SPLASH/ISSTA Tool Demonstrations A: Xue Yao Monash University, A: Zehua Zhang Monash University, A: Jiatong Liu Monash University, A: Yongqiang Tian Monash University
	Not scheduled Paper		SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language SPLASH/ISSTA Tool Demonstrations A: Yanlun Tu Midea AIRC, A: Huacan Wang Midea AIRC, A: Ziyue Zhou Midea AIRC, A: Jie Zhou Midea AIRC, A: Ningyan Zhu Midea AIRC, A: Ge Chen Midea AIRC, A: Wangyi Chen Midea AIRC, A: Xiaofeng Mou Midea AIRC, A: Tengfei Zhou KUKA, A: Dasheng Yang KUKA, A: Hui Zhang KUKA, A: Yi Xu Midea AIRC Link to publication Media Attached
	Not scheduled Paper		CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers SPLASH/ISSTA Tool Demonstrations A: Xiaotian Ma Nanjing University of Science and Technology, A: Qiong Feng Nanjing University of Science and Technology, A: Yongqiang Tian Monash University, A: Wei Song Nanjing University of Science and Technology, A: Peng Liang Wuhan University, China Pre-print Media Attached
	Not scheduled Paper		OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs SPLASH/ISSTA Tool Demonstrations A: Bin Yu Xidian University, A: Jinning Zhang Xidian University, A: Haoli Zhang Xidian University, A: Letian Wang Xidian University, A: WenSheng Wang Xidian University, A: Xu Lu Xidian University
	Not scheduled Paper		DebugTracker: Lightweight Process Evidence for Classroom Debugging SPLASH/ISSTA Tool Demonstrations A: Jiatong Liu Monash University, A: Xue Yao Monash University, A: Zehua Zhang Monash University, A: Yongqiang Tian Monash University
	Not scheduled Talk		Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM SPLASH/ISSTA Tool Demonstrations A: Mahmoud Khawaja Cairo University - Faculty of Engineering
	Not scheduled Paper		OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development SPLASH/ISSTA Tool Demonstrations A: Yu Sun University of Science and Technology Beijing, A: Kai Gao University of Science and Technology Beijing, A: Chang-ai Sun University of Science and Technology Beijing
	Not scheduled Paper		Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis SPLASH/ISSTA Tool Demonstrations A: Peisen Yao Zhejiang University, A: Zinan Gu The State Key Laboratory of Blockchain and Data Security, Zhejiang University, A: Qingkai Shi Nanjing University
	Not scheduled Talk		Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis SPLASH/ISSTA Tool Demonstrations A: wenjie wu Xidian University, A: Hu Junjie Xidian University, A: Cheng Wen Xidian University, A: Jialun Cao The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research Institute, A: Dugang Liu Shenzhen University, A: Zhiwu Xu Shenzhen University, A: Weidi Sun Peking University, A: Haokun Li Peking University, A: Shengchao Qin Xidian University DOI Pre-print Media Attached
	Not scheduled Paper		LPR+: Diverse Transformations for LLM-Aided Program Reduction SPLASH/ISSTA Tool Demonstrations A: Zehua Zhang Monash University, A: Jiatong Liu Monash University, A: Xue Yao Monash University, A: Yongqiang Tian Monash University

Accepted Papers

	Title
	ADEPT: A Unified Framework for Deep Learning Test Adequacy SPLASH/ISSTA Tool Demonstrations A: Yidi Kao, A: Shawn Burnham, A: Tommi Rose Fahy, A: Ali Ghanbari
	bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows SPLASH/ISSTA Tool Demonstrations A: Filip Riha, A: Filip Křikava
	CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation SPLASH/ISSTA Tool Demonstrations A: Alessandro Botta, A: Shiven Garisa, A: Jaya Vardhini Akurathi, A: Ahsanul Ameen Sabit, A: Trey Woodlief, A: Soneya Binta Hossain
	CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers SPLASH/ISSTA Tool Demonstrations A: Xiaotian Ma, A: Qiong Feng, A: Yongqiang Tian, A: Wei Song, A: Peng Liang Pre-print Media Attached
	DebugTracker: Lightweight Process Evidence for Classroom Debugging SPLASH/ISSTA Tool Demonstrations A: Jiatong Liu, A: Xue Yao, A: Zehua Zhang, A: Yongqiang Tian
	Diffpoints: Breakpoints Comparing Values of Variables SPLASH/ISSTA Tool Demonstrations A: Filip Čmilňák, A: Matúš Sulír, A: Milan Nosáľ Link to publication Media Attached
	Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases SPLASH/ISSTA Tool Demonstrations A: Alastair F. Donaldson, A: James Lee-Jones, A: Jonathan Foo
	Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis SPLASH/ISSTA Tool Demonstrations A: Youyang Kim, A: Sahil Suneja, A: Yong-Hwan Jeong, A: Yunja Choi, A: Young-Woo Kwon, A: Byungchul Tak
	FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis SPLASH/ISSTA Tool Demonstrations A: Zhenghong Yu, A: Hangdong Zhao, A: Wanzhu Hou, A: Paraschos Koutris
	Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification SPLASH/ISSTA Tool Demonstrations A: Joonghoon Lee, A: Nicolas Klose, A: Seokhyun Lee, A: Peter Müller, A: Hakjoo Oh
	HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis SPLASH/ISSTA Tool Demonstrations A: Sachin Gupta
	Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs SPLASH/ISSTA Tool Demonstrations A: Paolo Di Biase, A: Bernd Fischer, A: Salvatore La Torre, A: Peter Schrammel, A: Gennaro Parlato
	LPR+: Diverse Transformations for LLM-Aided Program Reduction SPLASH/ISSTA Tool Demonstrations A: Zehua Zhang, A: Jiatong Liu, A: Xue Yao, A: Yongqiang Tian
	OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development SPLASH/ISSTA Tool Demonstrations A: Yu Sun, A: Kai Gao, A: Chang-ai Sun
	OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs SPLASH/ISSTA Tool Demonstrations A: Bin Yu, A: Jinning Zhang, A: Haoli Zhang, A: Letian Wang, A: WenSheng Wang, A: Xu Lu
	Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis SPLASH/ISSTA Tool Demonstrations A: Peisen Yao, A: Zinan Gu, A: Qingkai Shi
	PyMut4SE: Comprehensive Mutation Testing for Python SPLASH/ISSTA Tool Demonstrations A: Laura Plein, A: Matthieu Jimenez, A: Mike Papadakis
	Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM SPLASH/ISSTA Tool Demonstrations A: Mahmoud Khawaja
	RepairFormer: Automated Repair of Structured Inputs Using Transformers SPLASH/ISSTA Tool Demonstrations A: Ovi Paul, A: Tom J King, A: Ali Shokri Pre-print Media Attached
	RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets SPLASH/ISSTA Tool Demonstrations A: Xue Yao, A: Zehua Zhang, A: Jiatong Liu, A: Yongqiang Tian
	SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs SPLASH/ISSTA Tool Demonstrations A: Myungho Lee, A: Seokhyeon Moon, A: Yoon-Chan Jhi, A: Hakjoo Oh
	Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SPLASH/ISSTA Tool Demonstrations A: Huacan Wang, A: Jie Zhou, A: Ningyan Zhu, A: Shuo Zhang, A: Yanlun Tu, A: Feiyu Chen, A: Jiarou Wu, A: Ziyue Zhou, A: Ge Chen, A: Chen Liu, A: Wangyi Chen, A: Xiaofeng Mou, A: Yi Xu Link to publication
	SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language SPLASH/ISSTA Tool Demonstrations A: Yanlun Tu, A: Huacan Wang, A: Ziyue Zhou, A: Jie Zhou, A: Ningyan Zhu, A: Ge Chen, A: Wangyi Chen, A: Xiaofeng Mou, A: Tengfei Zhou, A: Dasheng Yang, A: Hui Zhang, A: Yi Xu Link to publication Media Attached
	Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis SPLASH/ISSTA Tool Demonstrations A: wenjie wu, A: Hu Junjie, A: Cheng Wen, A: Jialun Cao, A: Dugang Liu, A: Zhiwu Xu, A: Weidi Sun, A: Haokun Li, A: Shengchao Qin DOI Pre-print Media Attached
	VarCHEKER: A Variability-based Static Analyzer for Python Applications SPLASH/ISSTA Tool Demonstrations A: Chin Khor, A: Robyn Lutz, A: Amir Niaraki
	WGSLsmith: Randomised Testing for the WebGPU Shading Language SPLASH/ISSTA Tool Demonstrations A: Michał Andryskowski, A: Amber Gorzynski, A: Hasan Mohsin, A: Alastair F. Donaldson

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.

Tool DemonstrationsSPLASH/ISSTA 2026

Program Display Configuration

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Unscheduled Events

Accepted Papers

Content

Evaluation

Submission Guidelines

Saba AlimadadiCo-chair

Simon Fraser University

Canada

Mehmet EmreCo-chair

University of San Francisco

United States

Soha HusseinCo-chair

Ain Shams University, Egypt

Egypt

Sumeet Singh AroraCommittee Member

Meta Platforms Inc

Chinmayi Prabhu BaramashetruCommittee Member

University of Oslo

Moritz BellerCommittee Member

Andrea BombardaCommittee Member

University of Bergamo

Italy

Yuandao CaiCommittee Member

Hong Kong University of Science and Technology

China

Ferruccio DamianiCommittee Member

University of Turin

Italy

Andreas DannCommittee Member

Germany

Kyle DeweyCommittee Member

California State University, Northridge

United States

William EiersCommittee Member

Stevens Institute of Technology, USA

United States

Karine Even-MendozaCommittee Member

King’s College London

United Kingdom

Aayush GargCommittee Member

Luxembourg Institute of Science and Technology

Luxembourg

Paul GazzilloCommittee Member

University of Central Florida

United States

Golnaz GharachorluCommittee Member

University of Ottawa

Kiran GopinathanCommittee Member

University College London

United Kingdom

Negar HashemiCommittee Member

University of Auckland

New Zealand

Matthieu JimenezCommittee Member

SnT, University of Luxembourg

Luxembourg

Rrezarta KrasniqiCommittee Member

University of North Carolina at Charlotte

United States

Yun MaCommittee Member

Peking University

China

Rumyana NeykovaCommittee Member

Brunel University London

Mitchell OlsthoornCommittee Member

Delft University of Technology

Netherlands

Brent PappasCommittee Member

University of Central Florida

United States

Valentina PiantadosiCommittee Member

University of Molise

Italy

Masud RahmanCommittee Member

Dalhousie University

Canada

Thodoris SotiropoulosCommittee Member

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change