代码大模型 / AI 编程

Cross-Language Code Search using Static and Dynamic Analyses

George Mathew, Kathryn T. Stolee

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Accepted at FSE 2021; 13 pages, 4 figures, 8 tables

Improving Test Distance for Failure Clustering with Hypergraph Modelling

Gabin An, Juyeon Yoon, Joyce Jiyoung Whang, Shin Yoo

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments 23 pages, 5 tables, 9 figures

CrossFix: Collaborative bug fixing by recommending similar bugs

Shin Hwei Tan, Ziqiang Li, Lu Yan

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Bounded Exhaustive Search of Alloy Specification Repairs

Simón Gutiérrez Brida, Germán Regis, Guolong Zhengz, Hamid Bagheriz, ThanhVu Nguyenz, Nazareno Aguirre, Marcelo Frias

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments 13 pages, ICSE 2021

Toward Speeding up Mutation Analysis by Memoizing Expensive Methods

Ali Ghanbari, Andrian Marcus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments In proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE'21) NIER

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests

Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury

专题命中 程序修复 ：program repair(abstract)；分类 cs.LG

Validation of Automatically Generated Patches: An Appetizer

Ali Ghanbari

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Insufficient empirical evidence needed to draw a reliable conclusion

Fast and Precise On-the-fly Patch Validation for All

Lingchao Chen, Lingming Zhang

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity

Ali Ghanbari

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '20), July 18--22, 2020, Virtual Event, USA

DevReplay: Automatic Repair with Editable Fix Pattern

Yuki Ueda, Takashi Ishio, Akinori Ihara, Kenichi Matsumoto

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Interactive Patch Filtering as Debugging Aid

Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

BOLD: An Ontology-based Log Debugger for C Programs

Dileep Kumar P, Rupesh Nasre, Sreenivasa Kumar P

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Comments 16 pages, 4 tables, 4 figures

Regional Registration of Whole Slide Image Stacks Containing Highly Deformed Artefacts

Mahsa Paknezhad, Sheng Yang Michael Loh, Yukti Choudhury, Valerie Koh Cui Koh, TimothyTay Kwang Yong, Hui Shan Tan, Ravindran Kanesvaran, Puay Hoon Tan, John Yuen Shyi Peng, Weimiao Yu, Yongcheng Benjamin Tan, Yong Zhen Loy, Min-Han Tan, Hwee Kuan Lee

专题命中 程序修复 ：repository(abstract)；分类 cs.LG

PTracer: A Linux Kernel Patch Trace Bot

Yang Wen, Jicheng Cao, Shengyu Cheng

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Comments Accepted by ASE 2019 Industry Showcase

Learning to Generate Corrective Patches using Neural Machine Translation

Hideaki Hata, Emad Shihab, Graham Neubig

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments 20 pages

Explainable Software Bot Contributions: Case Study of Automated Bug Fixes

Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Journal ref Proceedings of 2019 IEEE/ACM International Workshop on Bots in Software Engineering (BotSE)

Production-Driven Patch Generation

Thomas Durieux, Youssef Hamadi, Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments arXiv admin note: substantial text overlap with arXiv:1609.06848

Journal ref Proceedings of the 2017 International Conference on Software Engineering, New Ideas and Emerging Results Track

CFAAR: Control Flow Alteration to Assist Repair

Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi Zaraket

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Towards an automated approach for bug fix pattern detection

Fernanda Madeiral, Thomas Durieux, Victor Sobreira, Marcelo Maia

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

Matias Martinez, Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Empirical Software Engineering (2013)

Journal ref Empirical Software Engineering, Springer Verlag, volume 20, 2015

Production-Driven Patch Generation and Validation

Thomas Durieux, Youssef Hamadi, Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Statically Verifying Continuous Integration Configurations

Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Learning to Synthesize

Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

Yuan Yuan, Wolfgang Banzhaf

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments 30 pages, 26 figures

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

Jiajun Jiang, Yingfei Xiong

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Submitted to Empirical Software Engineering

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Donghwan Shin, Doo-Hwan Bae

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments To be appear in ICST 2016

Regression-free Synthesis for Concurrency

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

专题命中 程序修复 ：program repair(abstract)；分类 cs.PL

Comments for source code see https://github.com/thorstent/ConRepair

Journal ref Computer Aided Verification, Lecture Notes in Computer Science Volume 8559, 2014, pp 568-584

MintHint: Automated Synthesis of Repair Hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

The Athena Startup Kit

W. T. L. P. Lavrijsen

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Comments 5 pages, 1 figure, CHEP 2003, March 2003, La Jolla, California, PSN TUJT002

LoopVSR: A Loop Engineering Framework for Automated Repair of Visual Speech Recognition Inference Pipelines

LoopVSR：用于自动修复视觉语音识别推理流水线的循环工程框架

Fei Qin, Bowen Zhang, Chao Fan, Pengcheng Luo, Genke Yang

专题命中 程序修复 ：repository(abstract)

AI总结 LoopVSR是一种循环工程框架，可让代码智能体结合端到端执行证据自动修复VSR推理流水线，在CMLR VSR系统上的表现远优于静态防护，可实现100%平均修复率。