7 citations · 14 across the 6 of their papers we have counts for
4 papers · 1 filter
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun +3
Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…
Generalizing Test Cases for Comprehensive Test Scenario Coverage
Binhang Qi, Yun Lin, Xinyi Weng +4
Test cases are essential for software development and maintenance. In practice, developers derive multiple test cases from an implicit pattern based on their understanding of requi…
GUI Test Migration via Abstraction and Concretization
Yakun Zhang, Chen Liu, Xiaofei Xie +4
GUI test migration aims to produce test cases with events and assertions to test specific functionalities of a target app. Existing migration approaches typically focus on the widg…
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Chenyan Liu, Yufan Cai, Yun Lin +6
Recent years have seen the development of LLM-based code generation. Compared to generating code in a software project, incremental code edits are empirically observed to be more f…