An analysis of the search spaces for generate and validate patch generation systems
作者： Fan Long , Martin Rinard
关键词: Data mining 、 Test suite 、 Test case 、 Suite 、 Artificial intelligence 、 Scalability 、 Space (mathematics) 、 Field (computer science) 、 Key (cryptography) 、 Block (data storage) 、 Pattern recognition 、 Engineering
摘要: We present the first systematic analysis of key characteristics of patch search spaces for automatic patch generation systems. We analyze sixteen different configurations of the patch …
acm.org
arxiv.org
harvard.edu
core.ac.uk
sci-hub.se 参考文章(47)
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak, None, Deductive Program Repair computer aided verification. ,vol. 9207, pp. 217- 233 ,(2015) , 10.1007/978-3-319-21668-3_13
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun, Repairing Programs with Semantic Code Search (T) automated software engineering. pp. 295- 306 ,(2015) , 10.1109/ASE.2015.60
Sasa Misailovic, Martin C. Rinard, Michael Carbin, Michael Kling, Detecting and escaping infinite loops with jolt european conference on object-oriented programming. pp. 609- 633 ,(2011) , 10.5555/2032497.2032537
Martin Rinard, Cristian Cadar, William S. Beebee, Daniel M. Roy, Tudor Leu, Daniel Dumitran, Enhancing server availability and security through failure-oblivious computing operating systems design and implementation. pp. 21- 21 ,(2004)
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson, Cost-Aware Automatic Program Repair static analysis symposium. ,vol. 8723, pp. 268- 284 ,(2014) , 10.1007/978-3-319-10936-7_17
Martin Monperrus, Jifeng Xuan, Thomas Durieux, Romain Sommerard, Matias Martinez, Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset arXiv: Software Engineering. ,(2015)
Cristian Cadar, Daniel Dunbar, Dawson Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs operating systems design and implementation. pp. 209- 224 ,(2008) , 10.5555/1855741.1855756
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin Rinard, Automatic error elimination by horizontal code transfer across multiple applications programming language design and implementation. ,vol. 50, pp. 43- 54 ,(2015) , 10.1145/2737924.2737988
Westley Weimer, Zachary P. Fry, Stephanie Forrest, Leveraging program equivalence for adaptive program repair: models and first results automated software engineering. pp. 356- 366 ,(2013) , 10.1109/ASE.2013.6693094
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller, Automated Fixing of Programs with Contracts IEEE Transactions on Software Engineering. ,vol. 40, pp. 427- 449 ,(2014) , 10.1109/TSE.2014.2312918