Cosmos 3D - FSE 2025

Room nameCosmos 3D

Floor0

Capacity134

Room InformationNo extra information available

Information for Participants

Info for room Cosmos 3D:

Cosmos 3D is the fourth 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:20	Program Analysis 3Research Papers / Demonstrations / Industry Papers at Cosmos 3D Chair(s): Earl T. Barr University College London

11:00 10m Talk		MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem Demonstrations Francesco Pagano University of Verona, Mariano Ceccato University of Verona, Alessio Merlo CASD - School of Advanced Defense Studies, Paolo Tonella USI Lugano
11:10 10m Talk		Refactoring Detection in C++ Programs with RefactoringMiner++ Demonstrations Benjamin Ritz Graz University of Technology, Aleksandar Karakaš Carinthia University of Applied Sciences, Denis Helic Graz University of Technology
11:20 20m Talk		Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights Industry Papers Rahul Krishna IBM Research, Rangeet Pan IBM Research, Saurabh Sinha IBM Research, Srikanth Tamilselvam IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Maja Vukovic IBM Research
11:40 20m Talk		Towards Diverse Program Transformations for Program Simplification Research Papers Haibo Wang Concordia University, Zezhong Xing Southern University of Science and Technology, Chengnian Sun University of Waterloo, Zheng Wang University of Leeds, Shin Hwei Tan Concordia University DOI
12:00 20m Talk		CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction Research Papers Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Smit Soneshbhai Patel University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas DOI

12:30 - 14:00	FSE 2026 Program Committee MeetingMeetings at Cosmos 3D

12:30 90m Meeting		FSE 2026 Program Committee Meeting Meetings

14:00 - 15:20	Testing 4Industry Papers / Research Papers / Demonstrations at Cosmos 3D Chair(s): Antonio Mastropaolo William and Mary, USA

14:00 20m Talk		Detecting and Reducing the Factual Hallucinations of Large Language Models with Metamorphic Testing Research Papers Weibin Wu Sun Yat-sen University, Yuhang Cao Sun Yat-sen University, Ning Yi Sun Yat-sen University, Rongyi Ou Sun Yat-sen University, Zibin Zheng Sun Yat-sen University DOI
14:20 10m Talk		A Tool for Generating Exceptional Behavior Tests With Large Language Models Demonstrations Linghan Zhong University of Texas Austin, Samuel Yuan The University of Texas at Austin, Jiyang Zhang University of Texas at Austin, Yu Liu Meta, Pengyu Nie University of Waterloo, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric The University of Texas at Austin
14:30 20m Talk		Using Large Language Models to Support the Workflow of Differential Testing Industry Papers Arun Krishna Vajjala George Mason University, Ajay Krishna Vajjala George Mason University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Jade D'Souza Microsoft, Robert DeLine Microsoft Research, Mikhail Demyanyuk Microsoft, Jason Entenmann Microsoft Research, Nicole Forsgren Microsoft Research, Aliaksandr Hramadski Microsoft, Haris Mohammad Microsoft, Sandeepan Sanyal Microsoft, Oleg Surmachev Microsoft, Thomas Zimmermann University of California, Irvine
14:50 20m Talk		Adaptive Random Testing with Qgrams: the Illusion Comes True Research Papers Matteo Biagiola Università della Svizzera italiana, Robert Feldt Chalmers \| University of Gothenburg, Paolo Tonella USI Lugano DOI Pre-print
15:10 10m Talk		Dynamic Application Security Testing for Kubernetes Deployment: An Experience Report from Industry Industry Papers Shazibul Islam Shamim Kennesaw State University, Hanyang Hu Company A, Akond Rahman Auburn University Pre-print

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

	11:00 - 13:00	AIOpsLab in Action: An Open Platform for AIOps ResearchTutorials at Cosmos 3D The significant advances in AI have been driving a blooming landscape of research on developing AI agents for various kinds of cloud system operations, which is often referred to as AIOps. For example, AI-based fault detection, root cause analysis, and failure mitigation have been a hot topic in recent years with many research papers published at Software Engineering conferences like FSE, ICSE, ASE, and ISSTA. However, AIOps research today faces major practical challenges such as benchmarking, workload simulation, and reproducibility. This tutorial introduces AIOpsLab, an open platform and benchmark suites designed with the goal of significantly boosting the design, implementation, and evaluation of AI agents for cloud system operations. The source code, blog, and additional resources for AIOpsLab are available at https://aka.ms/aiopslab. Speakers: Minghua Ma (Microsoft M365 Research Group) Jackson Clark (University of Illinois Urbana-Champaign) Shenglin Zhang (Nankai University) Participant Requirements: Working laptop with decent Internet access (for cloning the AIOpsLab code from GitHub) Duration: 90 minutes

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
Cosmos 3D	Research Papers + Demonstrations + Industry Papers Program Analysis 3																		Meetings FSE 2026 Program Committee Meeting																		Industry Papers + Research Papers + Demonstrations Testing 4

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 3D	Tutorials AIOpsLab in Action: An Open Platform for AIOps Research																																				LLMapp																								LLMapp

Fri 27 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 3D	CauSE																								CauSE																																				CauSE																								CauSE

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
Cosmos 3D	FSE Demonstrations MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem 11:00 - 11:10		FSE Demonstrations Refactoring Detection in C++ Programs with RefactoringMiner++ 11:10 - 11:20		FSE Industry Papers Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program ... 11:20 - 11:40				FSE Research Papers Towards Diverse Program Transformations for Program Simplification 11:40 - 12:00				FSE Research Papers CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for En ... 12:00 - 12:20						FSE Meetings FSE 2026 Program Committee Meeting 12:30 - 14:00																		FSE Research Papers Detecting and Reducing the Factual Hallucinations of Large Language Mod ... 14:00 - 14:20				FSE Demonstrations A Tool for Generating Exceptional Behavior Tests With Large Language Models 14:20 - 14:30		FSE Industry Papers Using Large Language Models to Support the Workflow of Differential Testing 14:30 - 14:50				FSE Research Papers Adaptive Random Testing with Qgrams: the Illusion Comes True 14:50 - 15:10				FSE Industry Papers Dynamic Application Security Testing for Kubernetes Deployment: An Expe ... 15:10 - 15:20

Room information: Cosmos 3D

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

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

Research Papers + Demonstrations + Industry Papers

Meetings

Industry Papers + Research Papers + Demonstrations

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

Tutorials

LLMapp

LLMapp

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

CauSE

CauSE

CauSE

CauSE

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

Tracks

Co-hosted Conferences

Workshops

Room information: Cosmos 3D

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

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

Research Papers + Demonstrations + Industry Papers

Meetings

Industry Papers + Research Papers + Demonstrations

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

Tutorials

LLMapp

LLMapp

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

CauSE

CauSE

CauSE

CauSE

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

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

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

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