Cosmos 3A - ISSTA 2025

Room nameCosmos 3A

Floor0

Capacity134

Room InformationNo extra information available

Information for Participants

Info for room Cosmos 3A:

Cosmos 3A is the first 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

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

11:00 - 12:15	Fairness and LLM TestingResearch Papers at Cosmos 3A Chair(s): Andreas Metzger University of Duisburg-Essen

11:00 25m Talk		Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models Research Papers Yisong Xiao Beihang University, Aishan Liu Beihang University; Institute of Dataspace, Siyuan Liang National University of Singapore, Xianglong Liu Beihang University; Institute of Dataspace; Zhongguancun Laboratory, Dacheng Tao Nanyang Technological University DOI
11:25 25m Talk		ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation Research Papers Pengyu Xue Shandong University, Linhao Wu Shandong University, Zhen Yang Shandong University, Chengyi Wang Shandong University, Xiang Li Shandong University, Yuxiang Zhang Shandong University, Jia Li Tsinghua University, Ruikai Jin Shandong University, Yifei Pei Shandong University, Zhaoyan Shen Shandong University, Xiran Lyu Shandong University, Jacky Keung City University of Hong Kong DOI
11:50 25m Talk		No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups Research Papers Zhuo Wu Tianjin International Engineering Institute, Tianjin University, Zan Wang Tianjin University, Chuan Luo Beihang University, Xiaoning Du Monash University, Junjie Chen Tianjin University DOI

14:00 - 15:30	LLM-based Testing 1Research Papers / Tool Demonstrations at Cosmos 3A Chair(s): Qingkai Shi Nanjing University

14:00 25m Talk		A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing Research Papers ye shang Nanjing University, Quanjun Zhang School of Computer Science and Engineering, Nanjing University of Science and Technology, Chunrong Fang Nanjing University, Siqi Gu Nanjing University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd., Zhenyu Chen Nanjing University DOI
14:25 25m Talk		Validating Network Protocol Parsers with Traceable RFC Document Interpretation Research Papers Mingwei Zheng Purdue University, Danning Xie Purdue University, Qingkai Shi Nanjing University, Chengpeng Wang Purdue University, Xiangyu Zhang Purdue University DOI
14:50 25m Talk		Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles Research Papers Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Alberto Martin-Lopez Software Institute - USI, Lugano, Elliott Zackrone University of Washington, Beyza Eken Sakarya University, Michael D. Ernst University of Washington, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca and CIT Constructor Institute of Technology DOI Pre-print
15:15 15m Demonstration		Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques Tool Demonstrations Yuanmin Xie Tsinghua University, Zhenyang Xu University of Waterloo, Yongqiang Tian , Min Zhou , Xintong Zhou University of Waterloo, Chengnian Sun University of Waterloo

16:00 - 17:15	Fuzzing and ConcolicResearch Papers at Cosmos 3A Chair(s): Shiyi Wei University of Texas at Dallas

16:00 25m Talk		xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition Research Papers DongSong Yu Zhongguancun Laboratory, Yiyi Wang Tsinghua University, Huazhong University of Science and Technology, Chao Zhang Tsinghua University, Yang Lan , Zhiyuan Jiang National University of Defense Technology, Shuitao Gan Labortory for Advanced Computing and Intelligence Engineering, Zheyu Ma Tsinghua University, Wende Tan Tsinghua University DOI
16:25 25m Talk		KRAKEN: Program-Adaptive Parallel Fuzzing Research Papers Anshunkang Zhou Hong Kong University of Science and Technology, Heqing Huang City University of Hong Kong, Charles Zhang Hong Kong University of Science and Technology DOI Pre-print
16:50 25m Talk		Quantum Concolic Testing Research Papers Shangzhou Xia Kyushu University, Jianjun Zhao Kyushu University, Fuyuan Zhang Kyushu University, Xiaoyu Guo Kyushu University DOI

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

11:00 - 12:15	Security 2Research Papers at Cosmos 3A Chair(s): Jacques Klein University of Luxembourg

11:00 25m Talk		Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection Research Papers Niklas Risse Max-Planck-Institute for Security and Privacy, Jing Liu Max Planck Institute for Security and Privacy, Marcel Böhme MPI for Security and Privacy DOI Pre-print
11:25 25m Talk		SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool Assessment Research Papers Dianxiang Sun Nanyang Technological University, Wei Ma , Liming Nie , Yang Liu Nanyang Technological University DOI
11:50 25m Talk		Recurring Vulnerability Detection: How Far Are We? Research Papers Yiheng Cao Fudan University, Susheng Wu Fudan University, Ruisi Wang Fudan University, Bihuan Chen Fudan University, Yiheng Huang Fudan University, Chenhao Lu Fudan University, Zhuotong Zhou Fudan University, Xin Peng Fudan University DOI

14:00 - 15:15	Extended Reality and Autonomous SystemsResearch Papers at Cosmos 3A Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign

14:00 25m Talk		Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles Research Papers Dominik Frey Linköping University, Ulf Kargén Linköping University, Daniel Varro Linköping University / McGill University DOI
14:25 25m Talk		Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator Research Papers Zhilei Ren Dalian University of Technology, Yitao Li Dalian University of Technology, Xiaochen Li Dalian University of Technology, Guanxiao Qi Dalian University of Technology, Jifeng Xuan Wuhan University, He Jiang Dalian University of Technology DOI
14:50 25m Talk		Extended Reality Cybersickness Assessment via User Review Analysis Research Papers Shuqing Li The Chinese University of Hong Kong, Qisheng Zheng Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, jiafeng Harbin Institute of Technology, Michael Lyu Chinese University of Hong Kong DOI

16:00 - 17:15	Fuzzing 2Research Papers at Cosmos 3A Chair(s): Heqing Huang City University of Hong Kong

16:00 25m Talk		Program Feature-based Benchmarking for Fuzz Testing Research Papers Miao Miao The University of Texas at Dallas, Sriteja Kummita Fraunhofer Institute for Mechatronic Systems Design (Fraunhofer IEM), Eric Bodden Heinz Nixdorf Institute at Paderborn University; Fraunhofer IEM, Shiyi Wei University of Texas at Dallas DOI
16:25 25m Talk		Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-based RAG Research Papers Zhiyu Zhang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Longxing Li Institute of Information Engineering, Chinese Academy of Sciences, China, Ruigang Liang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
16:50 25m Talk		Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing Research Papers Qicai Chen Fudan University, China, Kun Hu School of Computer Science, Fudan University, Sichen Gong Fudan University, China, Bihuan Chen Fudan University, kevin kong Fudan University, Haowen Jiang Fudan University, China, Bingkun Sun Fudan University, You Lu Fudan University, Xin Peng Fudan University DOI

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

11:00 - 12:15	Smart Contracts 1Research Papers at Cosmos 3A Chair(s): Fan Long University of Toronto

11:00 25m Talk		Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection Research Papers Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Zhirong Huang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Hang Yuan Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Shiqi Cheng Institute of Software, Chinese Academy of Sciences, China, Li Yang Institute of Software, Chinese Academy of Sciences, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Chenjie Shen Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Jiajia Ma Institute of Software, Chinese Academy of Sciences, China, Jingyuan Zhang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Junyi Lu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Chun Zuo Sinosoft DOI
11:25 25m Talk		Enhancing Smart Contract Security Analysis with Execution Property Graphs Research Papers Kaihua Qin Yale University, Zhe Ye UC Berkeley, Zhun Wang UC Berkeley, Weilin Li University College London, Liyi Zhou The University of Sydney, Chao Zhang Tsinghua University, Dawn Song UC Berkeley, Arthur Gervais Imperial College London DOI
11:50 25m Talk		The Incredible Shrinking Context... in a decompiler near you Research Papers Sifis Lagouvardos University of Athens, Yannis Bollanos Dedaub, Neville Grech Dedaub Limited, Yannis Smaragdakis University of Athens DOI Pre-print

14:00 - 15:30	AI TestingResearch Papers / Tool Demonstrations at Cosmos 3A Chair(s): Cuiyun Gao Harbin Institute of Technology

14:00 25m Talk		AudioTest: Prioritizing Audio Test Cases Research Papers Yinghua Li University of Luxembourg, Xueqi Dang University of Luxembourg, SnT, Wendkuuni Arzouma Marc Christian OUEDRAOGO University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg DOI Media Attached
14:25 25m Talk		S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models Research Papers Xiaohan Yuan Zhejiang University, Jinfeng Li Alibaba Group, Dongxia Wang Zhejiang University, Yuefeng Chen Alibaba Group, Xiaofeng Mao Alibaba Group, Longtao Huang Alibaba Group, Jialuo Chen Zhejiang University, Hui Xue Alibaba Group, Xiaoxia Liu Zhejiang University, Wenhai Wang Zhejiang University, Kui Ren Zhejiang University, Jingyi Wang Zhejiang University DOI
14:50 25m Talk		Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing Research Papers Yanzhou Mu , Juan Zhai University of Massachusetts at Amherst, Chunrong Fang Nanjing University, Xiang Chen Nantong University, Zhixiang Cao Xi'an Jiaotong University, Peiran Yang Nanjing University, Kexin Zhao Nanjing University, An Guo Nanjing University, Zhenyu Chen Nanjing University DOI
15:15 15m Demonstration		ASTRAL: A Tool for the Automated Safety Testing of Large Language Models Tool Demonstrations Miriam Ugarte Mondragon University, Pablo Valle Mondragon University, José Antonio Parejo Maestre Universidad de Sevilla, Sergio Segura SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain, Aitor Arrieta Mondragon University

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

	09:00 - 18:00	CPAchecker WorkshopWorkshops at Cosmos 3A For the CPAchecker workshop program, please refer to the workshop website directly: https://cpa.sosy-lab.org/2025/.

Wed 25 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 3A	Research Papers Fairness and LLM Testing																																				Research Papers + Tool Demonstrations LLM-based Testing 1																								Research Papers Fuzzing and Concolic

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 3A	Research Papers Security 2																																				Research Papers Extended Reality and Autonomous Systems																								Research Papers Fuzzing 2

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
Cosmos 3A	Research Papers Smart Contracts 1																																				Research Papers + Tool Demonstrations AI 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						17:00						30
Cosmos 3A	Workshops CPAchecker Workshop

Wed 25 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 3A	ISSTA Research Papers Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias ... 11:00 - 11:25					ISSTA Research Papers ClassEval-T: Evaluating Large Language Models in Class-Level Code Trans ... 11:25 - 11:50					ISSTA Research Papers No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targ ... 11:50 - 12:15																										ISSTA Research Papers A Large-scale Empirical Study on Fine-tuning Large Language Models for ... 14:00 - 14:25					ISSTA Research Papers Validating Network Protocol Parsers with Traceable RFC Document Interpr ... 14:25 - 14:50					ISSTA Research Papers Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles 14:50 - 15:15					ISSTA Tool Demonstrations Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compil ... 15:15 - 15:30									ISSTA Research Papers xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing ... 16:00 - 16:25					ISSTA Research Papers KRAKEN: Program-Adaptive Parallel Fuzzing 16:25 - 16:50					ISSTA Research Papers Quantum Concolic Testing 16:50 - 17:15

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 3A	ISSTA Research Papers Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vu ... 11:00 - 11:25					ISSTA Research Papers SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool ... 11:25 - 11:50					ISSTA Research Papers Recurring Vulnerability Detection: How Far Are We? 11:50 - 12:15																										ISSTA Research Papers Assessing Scene Generation Techniques for Testing COLREGS-Compliance of ... 14:00 - 14:25					ISSTA Research Papers Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator 14:25 - 14:50					ISSTA Research Papers Extended Reality Cybersickness Assessment via User Review Analysis 14:50 - 15:15														ISSTA Research Papers Program Feature-based Benchmarking for Fuzz Testing 16:00 - 16:25					ISSTA Research Papers Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-base ... 16:25 - 16:50					ISSTA Research Papers Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing 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
Cosmos 3A	ISSTA Research Papers Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart ... 11:00 - 11:25					ISSTA Research Papers Enhancing Smart Contract Security Analysis with Execution Property Graphs 11:25 - 11:50					ISSTA Research Papers The Incredible Shrinking Context... in a decompiler near you 11:50 - 12:15																										ISSTA Research Papers AudioTest: Prioritizing Audio Test Cases 14:00 - 14:25					ISSTA Research Papers S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large ... 14:25 - 14:50					ISSTA Research Papers Improving Deep Learning Framework Testing with Model-Level Metamorphic ... 14:50 - 15:15					ISSTA Tool Demonstrations ASTRAL: A Tool for the Automated Safety Testing of Large Language Models 15:15 - 15:30

Room information: Cosmos 3A

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

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

Research Papers

Research Papers + Tool Demonstrations

Research Papers

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

Research Papers

Research Papers

Research Papers

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

Research Papers

Research Papers + Tool Demonstrations

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

Workshops

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

Tracks

Workshops

Room information: Cosmos 3A

Program Display Configuration

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers

Research Papers + Tool Demonstrations

Research Papers

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

Research Papers

Research Papers

Research Papers

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

Research Papers

Research Papers + Tool Demonstrations

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

Workshops

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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