ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Wed 19 Nov 2025 16:30 - 16:40 at Grand Hall 3 - Requirement Engineering

Ensuring SRS completeness is critical to preventing costly downstream errors and rework. We introduce an automated tool that ensembles three complementary LLMs—DeepSeek Chat, GPT-4o Mini, and Claude Sonnet 4—to detect and suggest remedies for missing requirements. The tool first generates a structured domain model from the SRS, then runs parallel external and internal completeness analysis using carefully crafted prompts. Users select which LLMs to invoke and choose among majority voting, weighted voting, or a Meta-LLM fusion to aggregate outputs. In experiments on four SRSs with seeded omissions, single models achieved only 0–52% recall, while our full ensemble consistently exceeded 75% (up to 100%) recall with 95–100% suggestion plausibility. These early findings highlight the potential of multi-LLM ensembles to dramatically outperform individual models and support next-generation requirements analysis tools through effective human-in-the-loop refinement.

This program is tentative and subject to change.

Wed 19 Nov

Displayed time zone: Seoul change

16:00 - 16:50
Requirement EngineeringNIER Track / Industry Showcase at Grand Hall 3
16:00
10m
Talk
Envisioning Intelligent Requirements Engineering via Knowledge-Guided Multi-Agent Collaboration
NIER Track
Jiangping Huang Chongqing University of Posts and Telecommunications, Dongming Jin Peking University, China, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Zhi Jin Peking University
16:10
10m
Talk
Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
NIER Track
Haolin Jin The University of Sydney, Huaming Chen The University of Sydney
16:20
10m
Talk
Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Industry Showcase
Fanyu Wang Monash University, Chetan Arora Monash University, Yonghui Liu Australian National University, Kaicheng Huang Monash University, Kla Tantithamthavorn Monash University and Atlassian, Aldeida Aleti Monash University, Dishan Sambathkumar eSolutions, Monash University, David Lo Singapore Management University
16:30
10m
Talk
Detecting and Repairing Incomplete Software Requirements with Multi-LLM Ensembles
NIER Track
Mohamad Kassab Boston University, USA, Marwan AbdElhameed New York University Abu Dhabi
16:40
10m
Talk
Linguistic Theories Coincide with Misformalization in Temporal Logic
NIER Track
Colin Gordon Drexel University