3 papers
cs.SE2025
Isolating Compiler Bugs through Compilation Steps Analysis
Yujie Liu, Mingxuan Zhu, Shengyu Cheng +1
Compilers are essential to software systems, and their bugs can propagate to dependent software. Ensuring compiler correctness is critical. However, isolating compiler bugs remains…
cs.SE2025
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…
cs.SE2024
ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation
Jinhao Dong, Jun Sun, Wenjie Zhang +2
Code generation techniques generate code snippets automatically based on the problem requirements in natural language. Recently, large language models (LLMs) achieve the SOTA perfo…