Fetching the paper…
Reading the bibliography…
Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade.
Weak mutation testing and completeness of test sets
William E. Howden. 1982 · 1982
Earlier work this paper cites.
A fortran language system for mutation-based software testing
Kim N King and A Jefferson Offutt. 1991 · 1991
Earlier work this paper cites.
Compilers, principles, techniques
Alfred V Aho, Monica S Lam, Ravi Sethi, and Jeffrey D Ullman. 2006 · 2006
Earlier work this paper cites.
Program synthesis by sketching
A Solar Lezama. 2008 · 2008
Earlier work this paper cites.
Automatically patching errors in deployed software. In SOSP (SOSP’09) . 87–102
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin C. Rinard. 2009 · 2009
Earlier work this paper cites.
Javalanche: efficient mutation testing for Java. In Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering . 297–298
David Schuler and Andreas Zeller. 2009 · 2009
Earlier work this paper cites.
Using Mutation to Automatically Suggest Fixes for Faulty Programs. In ICST . 65–74
V. Debroy and W. E. Wong. 2010 · 2010
Earlier work this paper cites.
Towards automating the generation of mutation tests. In Proceedings of the 5th Workshop on Automation of Software Test . 111–118
Mike Papadakis, Nicos Malevris, and Maria Kallia. 2010 · 2010
Earlier work this paper cites.
Test generation via dynamic symbolic execution for mutation testing. In 2010 IEEE International Conference on Software Maintenance . IEEE, 1–10
Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan De Halleux, and Hong Mei. 2010 · 2010
Earlier work this paper cites.
GenProg: A Generic Method for Automatic Software Repair
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. 2012 · 2012
Earlier work this paper cites.
Automatic patch generation learned from human-written patches. In ICSE . IEEE Press, 802–811
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. 2013 · 2013
Earlier work this paper cites.
Semfix: Program repair via semantic analysis. In 2013 35th International Conference on Software Engineering (ICSE) . IEEE, 772–781
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013 · 2013
Earlier work this paper cites.
Injecting mechanical faults to localize developer faults for evolving software
Lingming Zhang, Lu Zhang, and Sarfraz Khurshid. 2013 · 2013
Earlier work this paper cites.
The plastic surgery hypothesis. In FSE (FSE’14) . 306–317
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, and Federica Sarro. 2014 · 2014
Earlier work this paper cites.
Unit test virtualization with VMVM. In Proceedings of the 36th International Conference on Software Engineering . 550–561
Jonathan Bell and Gail Kaiser. 2014 · 2014
Earlier work this paper cites.
The Major mutation framework: Efficient and scalable mutation analysis for Java. In Proceedings of the 2014 International Symposium on Software Testing and Analysis . 433–436
René Just. 2014 · 2014
Earlier work this paper cites.
Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the 2014 International Symposium on Software Testing and Analysis . 437–440
René Just, Darioush Jalali, and Michael D Ernst. 2014 · 2014
Earlier work this paper cites.
Automatic runtime error repair and containment via recovery shepherding. In PLDI (PLDI’14) . 227–238
Fan Long, Stelios Sidiroglou-Douskos, and Martin C. Rinard. 2014 · 2014
Earlier work this paper cites.
Ask the mutants: Mutating faulty programs for fault localization. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation . IEEE, 153–162
Seokhyeon Moon, Yunho Kim, Moonzoo Kim, and Shin Yoo. 2014 · 2014
Earlier work this paper cites.
The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering . 254–265
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. 2014 · 2014
Earlier work this paper cites.
Balancing trade-offs in test-suite reduction. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering . 246–256
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov. 2014 · 2014
Earlier work this paper cites.
Mutation-based test-case prioritization in software evolution. In 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) . IEEE, 46–57
Yiling Lou, Dan Hao, and Lu Zhang. 2015 · 2015
Earlier work this paper cites.
Metallaxis-FL: mutation-based fault localization
Mike Papadakis and Yves Le Traon. 2015 · 2015
Cited alongside, same era.
Introduction to software testing
Paul Ammann and Jeff Offutt. 2016 · 2016
Cited alongside, same era.
Pit: a practical mutation testing tool for java. In Proceedings of the 25th International Symposium on Software Testing and Analysis . 449–452
Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, and Anthony Ventresque. 2016 · 2016
Cited alongside, same era.
Dynamoth: dynamic code synthesis for automatic program repair. In Proceedings of the 11th International Workshop on Automation of Software Test . 85–91
Thomas Durieux and Martin Monperrus. 2016 · 2016
Cited alongside, same era.
History driven program repair. In SANER , Vol. 1. IEEE, 213–224
Xuan Bach D Le, David Lo, and Claire Le Goues. 2016 · 2016
Cited alongside, same era.
Automatic software repair: a bibliography
Martin Monperrus. 2018a · 2018
Later among the works it cites.
Context-aware patch generation for better automated program repair. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) . IEEE, 1–11
Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, and Shing-Chi Cheung. 2018 · 2018
Later among the works it cites.
Predictive mutation testing
Jie Zhang, Lingming Zhang, Mark Harman, Dan Hao, Yue Jia, and Lu Zhang. 2018 · 2018
Later among the works it cites.
University of Cambridge Study: Failure to Adopt Reverse Debugging Costs Global Economy $41 Billion Annually
CO Boulder. 2013 · 2019
Later among the works it cites.
Practical program repair via bytecode mutation. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis . 19–30
Ali Ghanbari, Samuel Benton, and Lingming Zhang. 2019 · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
ASTOR: A Program Repair Library for Java (Demo). In Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA 2016) . 441–444
Matias Martinez and Martin Monperrus. 2016 · 2016
Cited alongside, same era.
Angelix: Scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the 38th international conference on software engineering . 691–701
Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016 · 2016
Cited alongside, same era.
A Survey on Software Fault Localization
W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa. 2016 · 2016
Cited alongside, same era.
Contract-based program repair without the contracts. In 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 637–647
Liushan Chen, Yu Pei, and Carlo A Furia. 2017 · 2017
Cited alongside, same era.
Automatic software repair: A survey
Luca Gazzola, Daniela Micucci, and Leonardo Mariani. 2017 · 2017
Cited alongside, same era.
Transforming programs and tests in tandem for fault localization
Xia Li and Lingming Zhang. 2017 · 2017
Cited alongside, same era.
The Java Virtual Machine Specification, Java SE 9 Edition (1st ed.)
Tim Lindholm, Frank Yellin, Gilad Bracha, and Alex Buckley. 2017 · 2017
Cited alongside, same era.
Automated program repair
Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. 2019 · 2019
Later among the works it cites.
Inferring program transformations from singular examples via big code. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) . 255–266
Jiajun Jiang, Luyao Ren, Yingfei Xiong, and Lingming Zhang. 2019 · 2019
Later among the works it cites.
Deepfl: Integrating multiple fault diagnosis dimensions for deep fault localization. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis . 169–180
Xia Li, Wei Li, Yuqun Zhang, and Lingming Zhang. 2019 · 2019
Later among the works it cites.
TBar: revisiting template-based automated program repair. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis . 31–42
Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F Bissyandé. 2019 · 2019
Later among the works it cites.
History-driven build failure fixing: how far are we?. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis . 43–54
Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, and Lu Zhang. 2019 · 2019
Later among the works it cites.
Repairnator Patches Programs Automatically
Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, and Lionel Seinturier. 2019 · 2019
Later among the works it cites.
Formal Methods
Flemming Nielson and Hanne Riis Nielson. 2019 · 2019
Later among the works it cites.
Increasing software development productivity with reversible debugging
Undo Software. 2016 · 2019
Later among the works it cites.
Java Instrumentation API
Oracle Corporation. 2020 · 2020
Closest in time.
Apache Maven
Apache Software Foundation. 2020 · 2020
Closest in time.
Joda Time
JodaOrg. 2020 · 2020
Closest in time.
Fixminer: Mining relevant fix patterns for automated program repair
Anil Koyuncu, Kui Liu, Tegawendé F Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, and Yves Le Traon. 2020 · 2020
Closest in time.
On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs. In 42nd ACM/IEEE International Conference on Software Engineering (ICSE)
Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé François D Assise Bissyande, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, and Yves Le Traon. 2020 · 2020
Closest in time.
Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach. In ISSTA
Yiling Lou, Ali Ghanbari, Xia Li, Lingming Zhang, Haotian Zhang, Dan Hao, and Lu Zhang. 2020 · 2020
Closest in time.
ASM Bytecode Manipulation Framework
Objectweb. 2020 · 2020
Closest in time.
The Java Language Specification
Oracle. 2020 · 2020
Closest in time.
Dynamic Code Evolution VM for Java
DCEVM Team. 2020a · 2020
Closest in time.