Fetching the paper…
Reading the bibliography…
Automated program repair is already deployed in industry, but concerns remain about repair quality.
Estimating the size of a truncated sample
L. Sanathanan · 1977
Earlier work this paper cites.
Genetic programming: on the programming of computers by means of natural selection
J. R. Koza · 1992
Earlier work this paper cites.
An empirical investigation of the relationship between spectra differences and regression faults
M. J. Harrold, G. Rothermel, K. Sayre, R. Wu, and L. Yi · 2000
Earlier work this paper cites.
Experimentation as a way of life: Okapi at trec
S. E. Robertson, S. Walker, and M. Beaulieu · 2000
Earlier work this paper cites.
Rank aggregation methods for the web
C. Dwork, R. Kumar, M. Naor, and D. Sivakumar · 2001
Earlier work this paper cites.
Search-based software engineering
M. Harman and B. F. Jones · 2001
Earlier work this paper cites.
An efficient boosting algorithm for combining preferences
Y. Freund, R. Iyer, R. E. Schapire, and Y. Singer · 2003
Earlier work this paper cites.
Learning to rank using gradient descent
C. Burges, T. Shaked, E. Renshaw, A. Lazier, M. Deeds, N. Hamilton, and G. Hullender · 2005
Earlier work this paper cites.
Empirical evaluation of the tarantula automatic fault-localization technique
J. A. Jones and M. J. Harrold · 2005
Earlier work this paper cites.
Learning to rank with nonsmooth cost functions
C. Burges, R. Ragno, and Q. Le · 2006
Earlier work this paper cites.
On the accuracy of spectrum-based fault localization
R. Abreu, P. Zoeteweij, and A. J. V. Gemund · 2007
Earlier work this paper cites.
Frank: a ranking method with fidelity loss
M.-F. Tsai, T.-Y. Liu, T. Qin, H.-H. Chen, and W.-Y. Ma · 2007
Earlier work this paper cites.
JaCoCo code coverage tool
M. R. Hoffmann, B. Janiczak, E. Mandrikov, and M. Friedenhagen · 2009
Earlier work this paper cites.
RankAggreg, an R package for weighted rank aggregation
V. Pihur, S. Datta, and S. Datta · 2009
Earlier work this paper cites.
Rank aggregation methods
S. Lin · 2010
Earlier work this paper cites.
Gzoltar: An Eclipse plug-in for testing and debugging
J. Campos, A. Riboira, A. Perez, and R. Abreu · 2012
Earlier work this paper cites.
Robust rank aggregation for gene list integration and meta-analysis
R. Kolde, S. Laur, P. Adler, and J. Vilo · 2012
Earlier work this paper cites.
GenProg: A generic method for automatic software repair
C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer · 2012
Earlier work this paper cites.
Where should the bugs be fixed? more accurate information retrieval-based bug localization based on bug reports
J. Zhou, H. Zhang, and D. Lo · 2012
Earlier work this paper cites.
Comparing and aggregating partial orders with kendall tau distances
F. J. Brandenburg, A. Gleißner, and A. Hofmeier · 2013
Earlier work this paper cites.
The nearest neighbor spearman footrule distance for bucket, interval, and partial orders
F. J. Brandenburg, A. Gleißner, and A. Hofmeier · 2013
Earlier work this paper cites.
A consensus-based strategy to improve the quality of fault localization
V. Debroy and W. E. Wong · 2013
Earlier work this paper cites.
Whole test suite generation
G. Fraser and A. Arcuri · 2013
Earlier work this paper cites.
R2Fix: Automatically generating bug fixes from bug reports
C. Liu, J. Yang, L. Tan, and M. Hafiz · 2013
Earlier work this paper cites.
The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning
R. Y. Rubinstein and D. P. Kroese · 2013
Earlier work this paper cites.
Improving bug localization using structured information retrieval
R. K. Saha, M. Lease, S. Khurshid, and D. E. Perry · 2013
Earlier work this paper cites.
The DStar method for effective software fault localization
W. E. Wong, V. Debroy, R. Gao, and Y. Li · 2013
Earlier work this paper cites.
DCE-MRI of the liver: Effect of linear and nonlinear conversions on hepatic perfusion quantification and reproducibility
S. Aronhime, C. Calcagno, G. H. Jajamovich, H. A. Dyvorne, P. Robson, D. Dieterich, M. I. Fiel, V. Martel-Laferriere, M. Chatterji, H. Rusinek, and B. Taouli · 2014
Earlier work this paper cites.
Bayesian aggregation of order-based rank data
K. Deng, S. Han, K. J. Li, and J. S. Liu · 2014
Earlier work this paper cites.
Large-scale kernel ranksvm
T.-M. Kuo, C.-P. Lee, and C.-J. Lin · 2014
Earlier work this paper cites.
Boosting bug-report-oriented fault localization with segmentation and stack-trace analysis
C.-P. Wong, Y. Xiong, H. Zhang, D. Hao, L. Zhang, and H. Mei · 2014
Earlier work this paper cites.
Learning to combine multiple ranking metrics for fault localization
J. Xuan and M. Monperrus · 2014
Earlier work this paper cites.
Test case purification for improving fault localization
J. Xuan and M. Monperrus · 2014
Earlier work this paper cites.
Cobertura code coverage tool
S. Christou · 2015
Earlier work this paper cites.
Repairing programs with semantic code search
Y. Ke, K. T. Stolee, C. Le Goues, and Y. Brun · 2015
Earlier work this paper cites.
Cross domain sentiment analysis using different machine learning techniques
S. Mahalakshmi and E. Sivasankar · 2015
Earlier work this paper cites.
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
Z. Qi, F. Long, S. Achour, and M. Rinard · 2015
Earlier work this paper cites.
Is the cure worse than the disease? Overfitting in automated program repair
E. K. Smith, E. Barr, C. Le Goues, and Y. Brun · 2015
Earlier work this paper cites.
Bug localization based on code change histories and bug reports
K. C. Youm, J. Ahn, J. Kim, and E. Lee · 2015
Earlier work this paper cites.
A learning-to-rank based fault localization approach using likely invariants
T. B. Le, D. Lo, C. Le Goues, and L. Grunske · 2016
Earlier work this paper cites.
Automatic patch generation by learning correct code
F. Long and M. Rinard · 2016
Cited alongside, same era.
Locus: Locating bugs from software changes
M. Wen, R. Wu, and S.-C. Cheung · 2016
Cited alongside, same era.
Fault localization for automated program repair: Effectiveness, performance, repair correctness
F. Y. Assiri and J. M. Bieman · 2017
Cited alongside, same era.
Fairness testing: Testing software for discrimination
S. Galhotra, Y. Brun, and A. Meliou · 2017
Cited alongside, same era.
DeepFix: Fixing common C language errors by deep learning
R. Gupta, S. Pal, A. Kanade, and S. K. Shevade · 2017
Cited alongside, same era.
Transforming programs and tests in tandem for fault localization
X. Li and L. Zhang · 2017
Cited alongside, same era.
DeepFL: Integrating multiple fault diagnosis dimensions for deep fault localization
X. Li, W. Li, Y. Zhang, and L. Zhang · 2019
Later among the works it cites.
You cannot fix what you cannot find! an investigation of fault localization bias in benchmarking automated program repair systems
K. Liu, A. Koyuncu, T. F. Bissyandé, D. Kim, J. Klein, and Y. L. Traon · 2019
Later among the works it cites.
Tbar: Revisiting template-based automated program repair
K. Liu, A. Koyuncu, D. Kim, and T. F. Bissyandé · 2019
Later among the works it cites.
SapFix: Automated end-to-end repair at scale
A. Marginean, J. Bader, S. Chandra, M. Harman, Y. Jia, K. Mao, A. Mols, and A. Scott · 2019
Later among the works it cites.
Automatically generating precise oracles from structured natural language specifications
M. Motwani and Y. Brun · 2019
Later among the works it cites.
Preventing undesirable behavior of intelligent machines
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Automatic repair of real bugs in Java: A large-scale experiment on the Defects4J dataset
M. Martinez, T. Durieux, R. Sommerard, J. Xuan, and M. Monperrus · 2017
Cited alongside, same era.
Evaluating and improving fault localization
S. Pearson, J. Campos, R. Just, G. Fraser, R. Abreu, M. D. Ernst, D. Pang, and B. Keller · 2017
Cited alongside, same era.
ELIXIR: Effective object oriented program repair
R. K. Saha, Y. Lyu, H. Yoshida, and M. R. Prasad · 2017
Cited alongside, same era.
FLUCCS: Using code and change metrics to improve fault localization
J. Sohn and S. Yoo · 2017
Cited alongside, same era.
Automatically diagnosing and repairing error handling bugs in C
Y. Tian and B. Ray · 2017
Cited alongside, same era.
An empirical analysis of the influence of fault space on search-based automated program repair
M. Wen, J. Chen, R. Wu, D. Hao, and S. Cheung · 2017
Cited alongside, same era.
P. S. Thomas, B. C. da Silva, A. G. Barto, S. Giguere, Y. Brun, and E. Brunskill · 2019
Later among the works it cites.
On learning meaningful code changes via neural machine translation
M. Tufano, J. Pantiuchina, C. Watson, G. Bavota, and D. Poshyvanyk · 2019
Later among the works it cites.
Alleviating patch overfitting with automatic test generation: A study of feasibility and effectiveness for the Nopol repair system
Z. Yu, M. Martinez, B. Danglot, T. Durieux, and M. Monperrus · 2019
Later among the works it cites.
An empirical study of fault localization families and their combinations
D. Zou, J. Liang, Y. Xiong, M. D. Ernst, and L. Zhang · 2019
Later among the works it cites.
TacTok: Semantics-aware proof synthesis
E. First, Y. Brun, and A. Guha · 2020
Closest in time.
Defects4J as a challenge case for the search-based software engineering community
G. Gay and R. Just · 2020
Closest in time.
Can automated program repair refine fault localization? a unified debugging approach
Y. Lou, A. Ghanbari, X. Li, L. Zhang, H. Zhang, D. Hao, and L. Zhang · 2020
Closest in time.
Experience report: How effective is automated program repair for industrial software?
K. Noda, Y. Nemoto, K. Hotta, H. Tanida, and S. Kikuchi · 2020
Closest in time.
RankAggreg: Weighted rank aggregation
V. Pihur, S. Datta, and S. Datta · 2020
Closest in time.
Evaluating representation learning of code changes for predicting patch correctness in program repair
H. Tian, K. Liu, A. K. Kaboré, A. Koyuncu, L. Li, J. Klein, and T. F. Bissyandé · 2020
Closest in time.
Automated patch correctness assessment: How far are we?
S. Wang, M. Wen, B. Lin, H. Wu, Y. Qin, D. Zou, X. Mao, and H. Jin · 2020
Closest in time.
A lightweight fault localization approach based on xgboost
B. Yang, Y. He, H. Liu, Y. Chen, and Z. Jin · 2020
Closest in time.
ARJA: Automated repair of Java programs via multi-objective genetic programming
Y. Yuan and W. Banzhaf · 2020
Closest in time.
SOSRepair: Expressive semantic search for real-world program repair
A. Afzal, M. Motwani, K. T. Stolee, Y. Brun, and C. Le Goues · 2021
Closest in time.
Beyond tests: Program vulnerability repair via crash constraint extraction
X. Gao, B. Wang, G. J. Duck, R. Ji, Y. Xiong, and A. Roychoudhury · 2021
Closest in time.
Exception-driven fault localization for automated program repair
D. Ginelli, O. Riganelli, D. Micucci, and L. Mariani · 2021
Closest in time.
CURE: Code-aware neural machine translation for automatic program repair
N. Jiang, T. Lutellier, and L. Tan · 2021
Closest in time.
On the introduction of automatic program repair in bloomberg
S. Kirbas, E. Windels, O. McBello, K. Kells, M. Pagano, R. Szalanski, V. Nowack, E. R. Winter, S. Counsell, D. Bowes, T. Hall, S. Haraldsson, and J. Woodward · 2021
Closest in time.
Improving fault localization by integrating value and predicate based causal inference techniques
Y. Küçük, T. A. D. Henderson, and A. Podgurski · 2021
Closest in time.
Fault localization with code coverage representation learning
Y. Li, S. Wang, and T. Nguyen · 2021
Closest in time.
Automatic repair of java code with timing side-channel vulnerabilities
R. Lima, J. F. Ferreira, and A. Mendes · 2021
Closest in time.
A critical review on the evaluation of automated program repair systems
K. Liu, L. Li, A. Koyuncu, D. Kim, Z. Liu, J. Klein, and T. F. Bissyandé · 2021
Closest in time.
Automated patch assessment for program repair at scale
H. Ye, M. Martinez, and M. Monperrus · 2021
Closest in time.
A syntax-guided edit decoder for neural program repair
Q. Zhu, Z. Sun, Y. an Xiao, W. Zhang, K. Yuan, Y. Xiong, and L. Zhang · 2021
Closest in time.
https://ibm.co/3orMarh
Eclipse JDT API specification · 2022
Closest in time.
Diversity-driven automated formal verification
E. First and Y. Brun · 2022
Closest in time.
Quality of automated program repair on real-world defects
M. Motwani, M. Soto, Y. Brun, R. Just, and C. Le Goues · 2022
Closest in time.
Trust enhancement issues in program repair
Y. Noller, R. Shariffdeen, X. Gao, and A. Roychoudhury · 2022
Closest in time.
https://ibm.co/3HfEml7
Rational software architect 9.5.0 · 2022
Closest in time.
Neural program repair with execution-based backpropagation
H. Ye, M. Martinez, and M. Monperrus · 2022
Closest in time.
Evaluating and combining fault localization techniques from different families
D. Zou, J. Liang, Y. Xiong, M. D. Ernst, and L. Zhang · 2022
Closest in time.
Proofster: Automated formal verification
A. Agrawal, E. First, Z. Kaufman, T. Reichel, S. Zhang, T. Zhou, A. Sanchez-Stern, T. Ringer, and Y. Brun · 2023
Closest in time.
Replication data for: Better automatic program repair by using bug reports and tests together
M. Motwani and Y. Brun · 2023
Closest in time.
Passport: Improving automated formal verification using identifiers
A. Sanchez-Stern, E. First, T. Zhou, Z. Kaufman, Y. Brun, and T. Ringer · 2023
Closest in time.