English
Related papers

Related papers: Effective Requirements Generation: Synchronizing E…

200 papers

Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scenarios. For integration scenarios, structurally correct…

Software Engineering · Computer Science 2024-02-20 Daniel Ritter , Fredrik Nordvall Forsberg , Stefanie Rinderle-Ma

Video generation models have made significant progress in simulating future states, showcasing their potential as world simulators in embodied scenarios. However, existing models often lack robust understanding, limiting their ability to…

Computer Vision and Pattern Recognition · Computer Science 2025-06-11 Xiaowei Chi , Chun-Kai Fan , Hengyuan Zhang , Xingqun Qi , Rongyu Zhang , Anthony Chen , Chi-min Chan , Wei Xue , Qifeng Liu , Shanghang Zhang , Yike Guo

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

Logic in Computer Science · Computer Science 2017-03-01 Lucas Cordeiro

Generative models face a fundamental challenge: they must simultaneously learn high-level semantic concepts (what to generate) and low-level synthesis details (how to generate it). Conventional end-to-end training entangles these distinct,…

Machine Learning · Computer Science 2025-09-30 Deyuan Liu , Peng Sun , Xufeng Li , Tao Lin

Neural network verification tools currently support only a narrow class of specifications, typically expressed as low-level constraints over raw inputs and outputs. This limitation significantly hinders their adoption and practical…

Machine Learning · Computer Science 2026-03-04 Yizhak Y. Elboher , Reuven Peleg , Zhouxing Shi , Guy Katz , Jan Křetínský

Context: Machine learning (ML) may enable effective automated test generation. Objective: We characterize emerging research, examining testing practices, researcher goals, ML techniques applied, evaluation, and challenges. Methods: We…

Software Engineering · Computer Science 2023-04-18 Afonso Fontes , Gregory Gay

In software development, the raw requirements proposed by users are frequently incomplete, which impedes the complete implementation of application functionalities. With the emergence of large language models, recent methods with the…

Software Engineering · Computer Science 2024-11-11 Sai Zhang , Zhenchang Xing , Ronghui Guo , Fangzhou Xu , Lei Chen , Zhaoyuan Zhang , Xiaowang Zhang , Zhiyong Feng , Zhiqiang Zhuang

Understanding the quality of a performance evaluation metric is crucial for ensuring that model outputs align with human preferences. However, it remains unclear how well each metric captures the diverse aspects of these preferences, as…

Computation and Language · Computer Science 2025-03-04 Genta Indra Winata , David Anugraha , Lucky Susanto , Garry Kuwanto , Derry Tanti Wijaya

Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers…

Software Engineering · Computer Science 2019-05-17 Khavee Agustus Botangen , Jian Yu , Sira Yongchareon , LiangHuai Yang , Quan Bai

In the past years, software reverse engineering dealt with source code understanding. Nowadays, it is levered to software requirements abstract level, supported by feature model notations, language independent, and simpler than the source…

Software Engineering · Computer Science 2019-04-30 Anas Alhamwieh , Said Ghoul

Deep Generative Machine Learning Models (DGMs) have been growing in popularity across the design community thanks to their ability to learn and mimic complex data distributions. DGMs are conventionally trained to minimize statistical…

Machine Learning · Computer Science 2022-06-16 Lyle Regenwetter , Faez Ahmed

In the field of software engineering there are many new archetypes are introducing day to day Improve the efficiency and effectiveness of software development. Due to dynamic environment organizations are frequently exchanging their…

Software Engineering · Computer Science 2017-02-02 Ahmed Mateen , Madiha Tabassum , Akmal Rehan

Eligibility criteria (EC) are essential for clinical trial design, yet drafting them remains a time-intensive and cognitively demanding task for clinicians. Existing automated approaches often fall at two extremes either requiring highly…

Artificial Intelligence · Computer Science 2026-02-03 Trisha Das , Katherine Kero , Dorinda Schumann , Tracy Ohrt , Sanjit Singh Batra , Gregory D Lyng , Robert E. Tillman

Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best…

Software Engineering · Computer Science 2018-06-20 Toon Jouck , Alfredo Bolt , Benoît Depaire , Massimiliano de Leoni , Wil M. P. van der Aalst

In the combinatorial recommender systems, multiple items are fed to the user at one time in the result page, where the correlations among the items have impact on the user behavior. In this work, we model the combinatorial recommendation as…

Information Retrieval · Computer Science 2019-06-25 Fan Wang , Xiaomin Fang , Lihang Liu , Yaxue Chen , Jiucheng Tao , Zhiming Peng , Cihang Jin , Hao Tian

Despite the tremendous advances that have been made in the last decade on developing useful machine-learning applications, their wider adoption has been hindered by the lack of strong assurance guarantees that can be made about their…

Machine Learning · Computer Science 2019-07-18 He Zhu , Zikang Xiong , Stephen Magill , Suresh Jagannathan

Recommending a sequence of activities for an ongoing case requires that the recommendations conform to the underlying business process and meet the performance goal of either completion time or process outcome. Existing work on next…

Artificial Intelligence · Computer Science 2022-05-09 Prerna Agarwal , Avani Gupta , Renuka Sindhgatta , Sampath Dechu

In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three…

Software Engineering · Computer Science 2017-09-26 Saurabh Tiwari , Santosh Singh Rathore

Requirements Engineering Methods (REMs) support Requirements Engineering (RE) tasks, from elicitation, through modeling and analysis, to validation and evolution of requirements. Despite the growing interest to design, validate and teach…

Software Engineering · Computer Science 2012-03-09 Ivan Jureta

Adapting large language models (LLMs) to a targeted task efficiently and effectively remains a fundamental challenge. Such adaptation often requires iteratively improving the model toward a targeted task, yet collecting high-quality…

Computation and Language · Computer Science 2026-04-30 Ting-Wei Li , Sirui Chen , Jiaru Zou , Yingbing Huang , Tianxin Wei , Jingrui He , Hanghang Tong