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

This program is tentative and subject to change.

Wed 19 Nov 2025 16:00 - 16:10 at Grand Hall 3 - Requirement Engineering

Requirements Engineering (RE) is an initial and critical phase in software development, with the aim of producing well-defined software requirements specifications (SRSs) from rough ideas of clients. It involves multiple tasks (e.g., elicitation, analysis) and roles (e.g., interviewer, analyst). With the rise of Large Language Models (LLMs), many studies have leveraged LLMs to support specific RE tasks. However, existing LLM-based agents often lack domain knowledge integration and fall short in simulating the complex collaboration of human experts across the full RE process. To address this gap, we propose \ours{}, a knowledge-guided multi-agent framework designed to assist requirements engineers in developing high-quality SRSs. \ours{} comprises six LLM-based agents and a shared artifact pool. Each agent is equipped with predefined actions, dedicated functions, and injected knowledge tailored to specific RE tasks. The artifact pool stores both intermediate and final artifacts, serving as a communication channel for inter-agent collaboration. A human-in-the-loop (HITL) mechanism is embedded to guide and validate agent outputs. We present the design of \ours{}, along with preliminary experiments and a case study to demonstrate its practicality. This work lays the foundation for future research on knowledge-driven multi-agent collaboration in RE and highlights key challenges in building trustworthy intelligent assistants for real-world RE tasks.

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