Shaping program repair space with existing patches and similar code

Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, +2

Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisSoftware Analysis +14

Precise Condition Synthesis for Program Repair

Yingfei Xiong, Jie Wang, Runfa Yan, +4

Software MaintenanceProgram CheckingEngineeringVerificationTest Data Generation +20

An empirical study on TensorFlow program bugs

Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, +2

Artificial IntelligenceConvolutional Neural NetworkEngineeringMachine LearningAi Safety +17

An Empirical Study of Fault Localization Families and Their Combinations

Daming Zou, Jingjing Liang, Yingfei Xiong, +2

IEEE Transactions on Software Engineering

ReliabilityFault DiagnosisFault Localization TechniquesReliability EngineeringEngineering +10

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis

Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, +3

Software MaintenanceEngineeringDiagnosisSoftware EngineeringSource Code Analysis +20

A syntax-guided edit decoder for neural program repair

Qihao Zhu, Zeyu Sun, Yuan-an Xiao, +4

Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisNatural Language Processing +18

TreeGen: A Tree-Based Transformer Architecture for Code Generation

Zeyu Sun, Qihao Zhu, Yingfei Xiong, +3

Proceedings of the AAAI Conference on Artificial Intelligence

EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisNatural Language Processing +16

Identifying patch correctness in test-based program repair

Yingfei Xiong, Xinyuan Liu, Muhan Zeng, +2

Towards automatic model synchronization from model transformations

Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, +3

Software MaintenanceEngineeringModel Transformation TechniquesVerificationSoftware Engineering +22

Search-based inference of polynomial metamorphic relations

Jie M. Zhang, Junjie Chen, Dan Hao, +4

Scientific ProgramsEngineeringVerificationModel-based TestingPolynomial Metamorphic Relations +15