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

This program is tentative and subject to change.

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

Acceptance criteria (ACs) play a critical role in software development by clearly defining the conditions under which a software feature satisfies stakeholder expectations. However, manually creating accurate, comprehensive, and unambiguous acceptance criteria is challenging, particularly in user interface-intensive applications, due to the reliance on domain-specific knowledge and visual context that is not always captured by textual requirements alone. To address these challenges, we propose RAGcceptance_M2RE, a novel approach that leverages Retrieval-Augmented Generation (RAG) to generate acceptance criteria from multi-modal requirements data, including both textual documentation and visual UI information. We systematically evaluated our approach in an industrial case study involving an education-focused software system used by approximately 100,000 users. The results indicate that integrating multi-modal information significantly enhances the relevance, correctness, and comprehensibility of the generated ACs. Moreover, practitioner evaluations confirm that our approach effectively reduces manual effort, captures nuanced stakeholder intent, and provides valuable criteria that domain experts may overlook, demonstrating practical utility and significant potential for industry adoption. This research underscores the potential of multi-modal RAG techniques in streamlining software validation processes and improving development efficiency. We also make our implementation and a dataset available.

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