164 citations · 404 across the 23 of their papers we have counts for
16 papers · 1 filter
Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
Trae Research Team, Pengfei Gao, Zhao Tian +12
Software issue resolution is a critical challenge in software engineering and has garnered increasing attention in recent years. With the rapid advancement of large language models…
SmartFL: Semantics Based Probabilistic Fault Localization
Yiqian Wu, Yujie Liu, Yi Yin +5
Testing-based fault localization has been a research focus in software engineering in the past decades. It localizes faulty program elements based on a set of passing and failing t…
DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
Daya Guo, Qihao Zhu, Dejian Yang +10
The rapid development of large language models has revolutionized code intelligence in software development. However, the predominance of closed-source models has restricted extens…
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
Wenjie Zhang, Guancheng Wang, Junjie Chen +3
The development of correct and efficient software can be hindered by compilation errors, which must be fixed to ensure the code's syntactic correctness and program language constra…
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
Yuan-An Xiao, Chenyang Yang, Bo Wang +1
Long patch validation time is a limiting factor for automated program repair (APR). Though the duality between patch validation and mutation testing is recognized, so far there exi…
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li, Yuhao Zhang, Luyao Ren +2
With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failu…
Effective Random Test Generation for Deep Learning Compilers
Luyao Ren, ZiHeng Wang, Yingfei Xiong +3
Deep learning compilers help address the difficulties of deploying deep learning models on diverse types of hardware. Testing deep learning compilers is highly crucial, because the…
Lyra: A Benchmark for Turducken-Style Code Generation
Qingyuan Liang, Zeyu Sun, Qihao Zhu +4
Recently, neural techniques have been used to generate source code automatically. While promising for declarative languages, these approaches achieve much poorer performance on dat…
Interactive Patch Filtering as Debugging Aid
Jingjing Liang, Ruyi Ji, Jiajun Jiang +3
It is widely recognized that program repair tools need to have a high precision to be useful, i.e., the generated patches need to have a high probability to be correct. However, it…
Automatic Clone Recommendation for Refactoring Based on the Present and the Past
Ruru Yue, Zhe Gao, Na Meng +3
When many clones are detected in software programs, not all clones are equally important to developers. To help developers refactor code and improve software quality, various tools…
An Empirical Study of Fault Localization Families and Their Combinations
Daming Zou, Jingjing Liang, Yingfei Xiong +2
The performance of fault localization techniques is critical to their adoption in practice. This paper reports on an empirical study of a wide range of fault localization technique…
Learning to Synthesize
Yingfei Xiong, Bo Wang, Guirong Fu +1
In many scenarios we need to find the most likely program under a local context, where the local context can be an incomplete program, a partial specification, natural language des…
Identifying Patch Correctness in Test-Based Program Repair
Yingfei Xiong, Xinyuan Liu, Muhan Zeng +2
Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing…
Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J
Jiajun Jiang, Yingfei Xiong
Automated program repair techniques, which target to generating correct patches for real world defects automatically, have gained a lot of attention in the last decade. Many differ…
Faster Mutation Analysis via Equivalence Modulo States
Bo Wang, Yingfei Xiong, Yangqingwei Shi +2
Mutation analysis has many applications, such as asserting the quality of test suites and localizing faults. One important bottleneck of mutation analysis is scalability. The lates…
Precise Condition Synthesis for Program Repair
Yingfei Xiong, Jie Wang, Runfa Yan +4
Due to the difficulty of repairing defect, many research efforts have been devoted into automatic defect repair. Given a buggy program that fails some test cases, a typical automat…