Failing test generation is an important yet challenging task in software engineering. It involves searching a vast space to identify fault-triggering test inputs and the oracles that assert these faulty executions. Several approaches have been proposed for generating failing tests. Specifically, given a program-under-t...
Tsz-On Li, Xiao-Chuan Yan, De-Hui Yi et al.· Proceedings of the 41st IEEE...· 0 citations
GraphDroid is proposed, an intent-driven GUI testing framework that integrates a cluster-based memory mechanism to effectively identify uncovered functionalities from historically visited states for comprehensive application testing and adopts an asynchronous intent generation paradigm that eliminates the latency bottl...
Xiao-Lei Li, Jia-Lun Cao, Zhi-Jian Hou et al.· Proceedings of the 41st IEEE...· 0 citations
A neuro-symbolic program synthesis approach for batch-editing collision meshes is presented, which synthesizes a reusable program that captures the editing intent and applies it to non-demonstration meshes.
The first large-scale empirical study of SE skills in public repositories and marketplaces provides the first activity-centric characterization of SE skills and reveals how SE activities are increasingly being transformed into reusable skills.
SWE-Bench ProMax is introduced, an expert-curated, multilingual code refactoring benchmark of 170 instances drawn from real commits across seven programming languages, which presents a meaningful and unsaturated challenge for current AI coding agents.
Yu-Ling Shi, Jing-Heng Xu, Kelin Fu et al.· 6 citations
The first empirical study focused on agent-reactive (AR) bugs is conducted, constructing a two-axis taxonomy covering observable symptoms and the LLM behaviors that trigger them and highlights challenges specific to LLM agents.
