Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Automatic software repair: A survey
Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …
instance, recent studies showed that debugging activities often account for about 50% of the …
Scancomplete: Large-scale scene completion and semantic segmentation for 3d scans
We introduce ScanComplete, a novel data-driven approach for taking an incomplete 3D
scan of a scene as input and predicting a complete 3D model along with per-voxel semantic …
scan of a scene as input and predicting a complete 3D model along with per-voxel semantic …
History driven program repair
Effective automated program repair techniques have great potential to reduce the costs of
debugging and maintenance. Previously proposed automated program repair (APR) …
debugging and maintenance. Previously proposed automated program repair (APR) …
[HTML][HTML] A survey on machine learning techniques applied to source code
The advancements in machine learning techniques have encouraged researchers to apply
these techniques to a myriad of software engineering tasks that use source code analysis …
these techniques to a myriad of software engineering tasks that use source code analysis …
Trustworthy and synergistic artificial intelligence for software engineering: Vision and roadmaps
D Lo - 2023 IEEE/ACM International Conference on Software …, 2023 - ieeexplore.ieee.org
For decades, much software engineering research has been dedicated to devising
automated solutions aimed at enhancing developer productivity and elevating software …
automated solutions aimed at enhancing developer productivity and elevating software …
S3: syntax-and semantic-guided repair synthesis via programming by examples
A notable class of techniques for automatic program repair is known as semantics-based.
Such techniques, eg, Angelix, infer semantic specifications via symbolic execution, and then …
Such techniques, eg, Angelix, infer semantic specifications via symbolic execution, and then …
A survey on machine learning techniques for source code analysis
The advancements in machine learning techniques have encouraged researchers to apply
these techniques to a myriad of software engineering tasks that use source code analysis …
these techniques to a myriad of software engineering tasks that use source code analysis …
The living review on automated program repair
M Monperrus - 2018 - hal.science
Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …
Overfitting in semantics-based automated program repair
Existing APR techniques can be generally divided into two families: semantics-vs. heuristics-
based. Semantics-based APR uses symbolic execution and test suites to extract semantic …
based. Semantics-based APR uses symbolic execution and test suites to extract semantic …
On reliability of patch correctness assessment
Current state-of-the-art automatic software repair (ASR) techniques rely heavily on
incomplete specifications, or test suites, to generate repairs. This, however, may cause ASR …
incomplete specifications, or test suites, to generate repairs. This, however, may cause ASR …