Cosmos 3C - ISSTA 2025

Room nameCosmos 3C

Floor0

Room InformationNo extra information available

Information for Participants

Info for room Cosmos 3C:

Cosmos 3C is the third room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

11:00 - 12:30	Test Automation, Evolution, and API TestingResearch Papers / Tool Demonstrations at Cosmos 3C Chair(s): Alexi Turcotte CISPA

11:00 25m Talk		You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects Research Papers Islem BOUZENIA University of Stuttgart, Michael Pradel University of Stuttgart DOI
11:25 25m Talk		Effective REST APIs Testing with Error Message Analysis Research Papers Lixin Xu Nanjing University, China, Huayao Wu Nanjing University, Zhenyu Pan , Tongtong Xu Huawei, Shaohua Wang Central University of Finance and Economics, Xintao Niu Nanjing University, Changhai Nie Nanjing University DOI
11:50 25m Talk		REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models Research Papers Jianlei Chi , Xiaotian Wang Harbin Engineering University, Yuhan Huang Xidian University, Lechen Yu Microsoft, Di Cui Xidian University, Jianguo Sun Xidian University, Jun Sun Singapore Management University DOI
12:15 15m Demonstration		PatchScope – A Modular Tool for Annotating and Analyzing Contributions Tool Demonstrations Jakub Narębski Nicolaus Copernicus University in Toruń, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Krzysztof Stencel University of Warsaw, Piotr Przymus Nicolaus Copernicus University in Toruń, Poland Link to publication DOI

14:00 - 15:15	Web/GUI TestingResearch Papers at Cosmos 3C Chair(s): Shin Yoo KAIST

14:00 25m Talk		Are Autonomous Web Agents good testers? Research Papers Antoine Chevrot Smartesting, Alexandre Vernotte Smartesting, Jean-Rémy Falleri Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Institut Universitaire de France, Xavier Blanc Université de Bordeaux, Bruno Legeard Université de Bourgogne Franche-Comté and Smartesting, Aymeric Cretin Smartesting DOI
14:25 25m Talk		MLLM-Based UI2Code Automation Guided by UI Layout Information Research Papers Fan Wu Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shuqing Li The Chinese University of Hong Kong, Xin-Cheng Wen Harbin Institute of Technology, Qing Liao Harbin Institute of Technology DOI Pre-print
14:50 25m Talk		GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs Research Papers Ruofan Liu Shanghai Jiao Tong University; National University of Singapore, Xiwen Teoh National University of Singapore, Yun Lin Shanghai Jiao Tong University, Guanjie Chen Shanghai Jiao Tong University, Ruofei Ren Shanghai Jiao Tong University, Denys Poshyvanyk William & Mary, Jin Song Dong National University of Singapore Link to publication DOI File Attached

16:00 - 17:15	Code Generation with LLMsResearch Papers at Cosmos 3C Chair(s): Yutian Tang University of Glasgow, United Kingdom

16:00 25m Talk		OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution Research Papers Lianghong Guo Sun Yat-sen University, Wei Tao Independent Researcher, Runhan Jiang Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Mingzhi Mao Sun Yat-sen University, Hongyu Zhang Chongqing University, Zibin Zheng Sun Yat-sen University DOI
16:25 25m Talk		ConTested: Consistency-Aided Tested Code Generation with LLM Research Papers Jinhao Dong Peking University, Jun Sun Singapore Management University, Wenjie Zhang National University of Singapore, Jin Song Dong National University of Singapore, Dan Hao Peking University DOI Pre-print
16:50 25m Talk		Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation Research Papers Zhenlan Ji The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Li Zongjie Hong Kong University of Science and Technology, Zhaoyu Wang HKUST, Shuai Wang Hong Kong University of Science and Technology DOI

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

11:00 - 12:15	LLM-based Testing 2Research Papers at Cosmos 3C Chair(s): Jie M. Zhang King's College London

11:00 25m Talk		KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis Research Papers Zhijie Liu ShanghaiTech University, China, Qiyi Tang Tencent Security Keen Lab, Sen Nie Tencent Security Keen Lab, Shi Wu Tencent Security Keen Lab, Liangfeng Zhang School of Information Science and Technology, ShanghaiTech University, Yutian Tang University of Glasgow, United Kingdom DOI
11:25 25m Talk		Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS Research Papers Bo Zhou Northeastern University, Jiaqi Shi Northeastern University, Ying Wang Northeastern University, Li Li Beihang University, Li Tsz On The Hong Kong University of Science and Technology, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China DOI
11:50 25m Talk		STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs Research Papers Jinwei Liu Xidian University, Chao Li Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Shaofeng Li Xidian University, Bin Gu Beijing Institute of Control Engineering, Mengfei Yang China Academy of Space Technology DOI

14:00 - 15:30	Gamification, Specifications, and Code ReviewsResearch Papers / Tool Demonstrations at Cosmos 3C Chair(s): Michael Pradel University of Stuttgart

14:00 25m Talk		NADA: Neural Acceptance-driven Approximate Specification Mining Research Papers Weilin Luo Sun Yat-sen University, Tingchen Han Sun Yat-Sen University, Junming Qiu Sun Yat-sen University, Hai Wan Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Bo Peng Sun Yat-Sen University, Guohui Xiao Southeast University, Yanan Liu SUN YAT-SEN UNIVERSITY DOI
14:25 25m Talk		Gamifying Testing in IntelliJ: A Replicability Study Research Papers Philipp Straubinger CQSE GmbH, Tommaso Fulcini Politecnico di Torino, Giacomo Garaccione Politecnico di Torino, Luca Ardito Politecnico di Torino, Gordon Fraser University of Passau DOI
14:50 25m Talk		DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction Research Papers Yuan Xiao Nanjing University, Yuchen Chen Nanjing University, Shiqing Ma University of Massachusetts at Amherst, Haocheng Huang Soochow University, Chunrong Fang Nanjing University, Yanwei Chen Nanjing University, Weisong Sun Nanyang Technological University, Yunfeng Zhu Nanjing University, Xiaofang Zhang Soochow University, Zhenyu Chen Nanjing University DOI Pre-print
15:15 15m Demonstration		Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage Tool Demonstrations Philipp Straubinger CQSE GmbH, Tim Greller University of Passau, Gordon Fraser University of Passau

16:00 - 17:30	Fuzzing and Search-Based TestingResearch Papers / Tool Demonstrations at Cosmos 3C Chair(s): Thuan Pham University of Melbourne

16:00 25m Talk		ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference Research Papers Yuchong Xie Hong Kong University of Science and Technology, Wenhui Zhang Hunan University, Changsha, China, Dongdong She HKUST (The Hong Kong University of Science and Technology) DOI
16:25 25m Talk		WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery Research Papers Wei-Cheng Wu Dartmouth College, Stefan Nagy University of Utah, Christophe Hauser Dartmouth College DOI
16:50 25m Talk		FANDANGO: Evolving Language-Based Testing Research Papers José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Link to publication DOI
17:15 15m Demonstration		XAVIER: Grammar-Based Testing for XML Injection Attacks Tool Demonstrations Paul Kalbitzer , José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security

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

09:00 - 10:30	Morning 1FUZZING at Cosmos 3C

09:00 10m Day opening		Welcome FUZZING
09:10 50m Keynote		Keynote: Constraining Fuzzing without Paying Too Much FUZZING Miryung Kim UCLA and Amazon Web Services
10:00 10m Talk		Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module FUZZING Stephan Neuhaus ZHAW School of Engineering, José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
10:10 10m Talk		Hybrid Fuzzing of Infrastructure as Code Programs FUZZING Emilio Coppa LUISS University, Daniel Sokolowski University of St. Gallen, Guido Salvaneschi University of St. Gallen
10:20 10m Talk		Towards Fuzzing Zero-Knowledge Proof Circuits FUZZING Stefanos Chaliasos Imperial College London, Imam Al-Fath ZKSecurity, Alastair F. Donaldson Imperial College London

11:00 - 13:00	Morning 2FUZZING at Cosmos 3C

11:00 50m Keynote		Keynote: Are you sure you belong in academia? FUZZING Will Wilson
12:00 60m Panel		Panel Discussion: Fuzzing in Research vs. Industry FUZZING

14:00 - 15:30	Afternoon 1FUZZING at Cosmos 3C

14:00 18m Talk		On the Applicability of Benford’s Law to Detect Saturation in Fuzzing FUZZING Jungwoo Lee KAIST, Haeun Lee KAIST, Sangjun Park KAIST, Sang Kil Cha KAIST
14:18 18m Talk		Trailblazer: Practical End-to-end Web API Fuzzing FUZZING Lianglu Pan University of Melbourne, Shaanan Cohney University of Melbourne, Toby Murray University of Melbourne, Thuan Pham University of Melbourne
14:36 18m Talk		Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation FUZZING Yihua Xu East China Normal University, Chengyu Zhang Loughborough University, Geguang Pu East China Normal University, China
14:54 18m Talk		MQueez: Specification-Driven Fuzzing for MQTT Broker FUZZING Xinpeng Liu Zhejiang University, Qinying Wang Zhejiang University, Peiyu Liu Zhejiang University, Wenhai Wang Zhejiang University, Shouling Ji Zhejiang University
15:12 18m Talk		Shepherd: High-Precision Coverage Inference for Response-guided Blackbox Fuzzing FUZZING Takuya Shimizu Ricerca Security, Inc., Ryuichi Yoshizawa Ricerca Security, Inc., Kaoru Otsuka Ricerca Security, Inc., Yudai Fujiwara Ricerca Security, Inc., Yuichi Sugiyama Ricerca Security, Inc.

16:00 - 16:10	Afternoon 2FUZZING at Cosmos 3C

16:00 10m Day closing		Concluding Remarks FUZZING

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos 3C	Research Papers + Tool Demonstrations Test Automation, Evolution, and API Testing																																				Research Papers Web/GUI Testing																								Research Papers Code Generation with LLMs

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos 3C	Research Papers LLM-based Testing 2																																				Research Papers + Tool Demonstrations Gamification, Specifications, and Code Reviews																								Research Papers + Tool Demonstrations Fuzzing and Search-Based Testing

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Cosmos 3C	FUZZING Morning 1																								FUZZING Morning 2																																				FUZZING Afternoon 1																								FUZZING Afternoon 2

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Cosmos 3C	ISSTA Research Papers You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects 11:00 - 11:25					ISSTA Research Papers Effective REST APIs Testing with Error Message Analysis 11:25 - 11:50					ISSTA Research Papers REACCEPT: Automated Co-evolution of Production and Test Code Based on D ... 11:50 - 12:15					ISSTA Tool Demonstrations PatchScope – A Modular Tool for Annotating and Analyzing Contributions 12:15 - 12:30																					ISSTA Research Papers Are Autonomous Web Agents good testers? 14:00 - 14:25					ISSTA Research Papers MLLM-Based UI2Code Automation Guided by UI Layout Information 14:25 - 14:50					ISSTA Research Papers GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting ... 14:50 - 15:15														ISSTA Research Papers OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Reso ... 16:00 - 16:25					ISSTA Research Papers ConTested: Consistency-Aided Tested Code Generation with LLM 16:25 - 16:50					ISSTA Research Papers Causality-Aided Evaluation and Explanation of Large Language Model-base ... 16:50 - 17:15

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Cosmos 3C	ISSTA Research Papers KEENHash: Hashing Programs into Function-aware Embeddings for Large-sca ... 11:00 - 11:25					ISSTA Research Papers Porting Software Libraries to OpenHarmony: Transitioning from TypeScrip ... 11:25 - 11:50					ISSTA Research Papers STRUT: Structured Seed Case Guided Unit Test Generation for C Programs ... 11:50 - 12:15																										ISSTA Research Papers NADA: Neural Acceptance-driven Approximate Specification Mining 14:00 - 14:25					ISSTA Research Papers Gamifying Testing in IntelliJ: A Replicability Study 14:25 - 14:50					ISSTA Research Papers DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Ch ... 14:50 - 15:15					ISSTA Tool Demonstrations Teaching Software Testing and Debugging with the Serious Game Sojourner ... 15:15 - 15:30									ISSTA Research Papers ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint In ... 16:00 - 16:25					ISSTA Research Papers WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery 16:25 - 16:50					ISSTA Research Papers FANDANGO: Evolving Language-Based Testing 16:50 - 17:15					ISSTA Tool Demonstrations XAVIER: Grammar-Based Testing for XML Injection Attacks 17:15 - 17:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Cosmos 3C	FUZZING Welcome 09:00 - 09:10		FUZZING Keynote: Constraining Fuzzing without Paying Too Much 09:10 - 10:00										FUZZING Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS M ... 10:00 - 10:10		FUZZING Hybrid Fuzzing of Infrastructure as Code Programs 10:10 - 10:20		FUZZING Towards Fuzzing Zero-Knowledge Proof Circuits 10:20 - 10:30								FUZZING Keynote: Are you sure you belong in academia? 11:00 - 11:50												FUZZING Panel Discussion: Fuzzing in Research vs. Industry 12:00 - 13:00																								FUZZING On the Applicability of Benford’s Law to Detect Saturation in Fuzzing 14:00 - 14:18				FUZZING Trailblazer: Practical End-to-end Web API Fuzzing 14:18 - 14:36			FUZZING Revisiting the Combination of Static Analysis Error Traces and Dynamic ... 14:36 - 14:54				FUZZING MQueez: Specification-Driven Fuzzing for MQTT Broker 14:54 - 15:12			FUZZING Shepherd: High-Precision Coverage Inference for Response-guided Blackbo ... 15:12 - 15:30										FUZZING Concluding Remarks 16:00 - 16:10

Room information: Cosmos 3C

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

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

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

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

Research Papers + Tool Demonstrations

Research Papers

Research Papers

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

Research Papers

Research Papers + Tool Demonstrations

Research Papers + Tool Demonstrations

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

FUZZING

FUZZING

FUZZING

FUZZING

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

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

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

Tracks

Workshops

Room information: Cosmos 3C

Program Display Configuration

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 28 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers + Tool Demonstrations

Research Papers

Research Papers

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers

Research Papers + Tool Demonstrations

Research Papers + Tool Demonstrations

Sat 28 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FUZZING

FUZZING

FUZZING

FUZZING

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 28 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

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

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

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

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

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

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

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

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

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