Program - ASE 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Sun 16 Nov
Displayed time zone: Seoul change

08:30 - 10:00	AI & Developer SupportASYDE at Grand Hall 2

09:05 15m Short-paper		LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations ASYDE Ruidi He Technische Universität Clausthal, Yu Zhang Technische Universität Clausthal, Meng Zhang Institut für Software and Systems Engineering, TU Clausthal, Germany, Andreas Rausch
09:20 20m Full-paper		On Effectiveness of Formal Model Repair by Large Language Models ASYDE Sebastião Carvalho Universidade de Lisboa, Instituto Superior Técnico, INESC-ID, Tsutomu Kobayashi Japan Aerospace Exploration Agency (JAXA), Fuyuki Ishikawa National Institute of Informatics
09:40 20m Full-paper		Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted Programming ASYDE Mohammad Nour Al Awad ITMO University, Sergey Ivanov ITMO University, Olga Tikhonova ITMO University

10:30 - 12:30	Verification, Testing, and Model-Driven EngineeringASYDE at Grand Hall 2

10:30 20m Full-paper		BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage ASYDE Markus Krahl Munich University of Applied Sciences, Matthias Güdemann University of Applied Sciences Munich, Stefan Wallentowitz University of Applied Sciences Munich
10:50 20m Full-paper		Improving Automated Program Verification for Java Programs with Fuzzing ASYDE Soha Hussein Ain Shams University, Egypt, Stephen McCamant University of Minnesota, USA
11:10 20m Full-paper		ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting Systems ASYDE Rijul Saini NAV CANADA Pre-print
11:30 20m Full-paper		Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher Education ASYDE Andrada-Mihaela-Nicoleta Moldovan University Babeș-Bolyai, Andreea Vescan Babes-Bolyai University
11:50 15m Short-paper		VeriODD: From YAML to SMT-LIB – Automating Verification of Operational Design Domains ASYDE Bassel Rafie Institute for Software and Systems Engineering, Clausthal University of Technology, Christian Schindler Institute for Software and Systems Engineering, Clausthal University of Technology, Andreas Rausch
12:05 15m Short-paper		MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice Systems ASYDE Wei-Kai Lin National Taiwan Ocean University, Shang-Pin Ma National Taiwan Ocean University, Shin-Jie Lee National Cheng Kung University, Wen-Tin Lee National Taiwan Normal University

Hide past events

ASYDE 2025 Program

This program is tentative and subject to change.

Sun 16 Nov
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

ASYDE 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Sun 16 NovDisplayed time zone: Seoul change

Get Calendar (iCal)

Sun 16 Nov
Displayed time zone: Seoul change