摘要
Rui Abreu、Peter Zoeteweij、Rob Golsteijn和Arjan J.C.van Gemund。 2009年。基于频谱的故障定位的实际评估。 系统与软件杂志 82, 11 (2009), 1780--1792. SI：TAIC第2007部分和突变2007。 谷歌学者 
数字图书馆 
Wasi Uddin Ahmad、Saikat Chakraborty、Baishaki Ray和Kai-Wei Chang。 2021.项目理解和生成的统一预培训。 arXiv:2103.06333[cs.CL] 谷歌学者 Chang Wook Ahn和R.S.Ramakrishna。 2003.基于Elitism的紧凑型遗传算法。 IEEE进化计算汇刊 7, 4 (2003), 367--385. 谷歌学者 数字图书馆 马哈茂德·阿尔法德尔（Mahmoud Alfadel）、迭戈·埃利亚斯·科斯塔（Diego Elias Costa）、埃马德·什哈布（Emad Shihab）和穆阿法克·姆哈拉拉蒂（Mouafak Mkhallalallati）。 2021.关于使用Dependabot安全拉取请求。 在 2021年IEEE/ACM第18届国际采矿软件库会议（MSR）。 IEEE，254--265。 谷歌学者 安德烈亚·阿库里和戈登·弗雷泽。 2011.关于基于搜索的软件工程中的参数调整 基于搜索的软件工程国际研讨会。 施普林格，33-47岁。 谷歌学者 交叉引用 
卡尔蒂基安·巴加万（Karthikeyan Bhargavan）、安托万·德利格纳·拉瓦德（Antoine Delignat-Lavaud）、塞德里克·福内特（Cédric Fournet）、安妮莎·戈尔拉穆迪（Anitha Gollamudi）、乔治·戈蒂尔（Georges Gonthier）、纳迪姆·科贝西（Nadim Kobeissi）、娜塔莉亚·库拉托娃（Natalia Kulatova。 2016.智能合约的正式验证：短文 （第16页）。 美国纽约州纽约市计算机协会，91-96。 谷歌学者 数字图书馆 Mark Chen、Jerry Tworek、Heewoo Jun、Qiming Yuan、Henrique Ponde de Oliveira Pinto、Jared Kaplan、Harri Edwards、Yuri Burda、Nicholas Joseph、Greg Brockman、Alex Ray、Raul Puri、Gretchen Krueger、Michael Petrov、Heidy Khlaaf、Girish Sastry、Pamela Mishkin、Brooke Chan、Scott Gray、Nick Ryder、Mikhail Pavlov、Alethea Power、Lukasz Kaiser、， 穆罕默德·巴伐利亚（Mohammad Bavarian）、克莱门斯·温特（Clemens Winter）、菲利普·蒂莱特（Philippe Tillet）、菲利佩·彼得斯基（Felipe Petroski Soke）、戴夫·卡明斯（Dave Cummings）、马蒂亚斯·普拉佩特（Matthias Plappert）、福蒂奥斯·钱茨（Fotios Chantzis）、伊丽莎白·巴恩斯（Elizabeth Barnes）、阿里尔·赫伯特·沃斯（Ariel Herbert-Voss）、威廉·赫布根·格斯（William Hebgen Gu， 乔什·阿齐姆（Josh Achiam）、维丹特·米斯拉（Vedant Misra）、埃文·莫里卡瓦（Evan Morikawa）、亚历克·拉德福德（Alec Radford）、马修·奈特（Matthew Knight）、迈尔斯·布伦达奇（Miles Brundage）、米拉·穆拉蒂（Mira Murati）、凯蒂·梅耶（Katie Mayer）、彼得·韦林德（Peter Welinder）、鲍勃·麦克。 2021.评估基于代码培训的大型语言模型。 arXiv:2107.03374[cs.LG] 谷歌学者 科恩·克莱森和约翰·休斯。 2000.QuickCheck:Haskell程序随机测试的轻量级工具。 在 第五届ACM SIGPLAN函数编程国际会议记录（ICFP'00）。 美国纽约州纽约市计算机协会，268-279。 谷歌学者 数字图书馆 甄玉鼎。 2020年。基于不变量引导搜索的程序修复的补丁质量和多样性。 arXiv预打印arXiv:2003.11667 （2020年）。 谷歌学者 马西米利亚诺·多米尼奇。 2014年，潘多克概述。 TUGboat公司 35, 1 (2014), 44--50. 谷歌学者 托马斯·杜利厄（Thomas Durieux）、费尔南达·马德拉（Fernanda Madeiral）、马蒂亚斯·马丁内斯（Matias Martinez）和鲁伊·阿布鲁（Rui Abreu）。 2019.Java程序修复工具实证审查：2141个Bug和23551次修复尝试的大规模实验。 在 第27届ACM联合欧洲软件工程会议和软件工程基础研讨会会议记录（ESEC/FSE’19）。 https://arxiv.org/abs/1905.11973 谷歌学者 数字图书馆 托马斯·杜利厄和马丁·蒙佩鲁斯。 2016年，DynaMoth：自动程序修复的动态代码合成。 在 第十一届软件测试自动化国际研讨会论文集 （德克萨斯州奥斯汀） （AST’16）。 美国纽约州纽约市计算机协会，85-91。 谷歌学者 数字图书馆 托马斯·杜利厄和马丁·蒙佩鲁斯。 2016 Java简介：297个小型Java程序的基准测试。 技术报告。 里尔大学1。 https://hal.archives-ouvertes.fr/hal-01272126/document 谷歌学者 Khashayar Etemadi、Nicolas Harrand、Simon Larsen、Haris Adzemovic、Henry Luong Phu、Ashutosh Verma、Fernanda Madeiral、Douglas Wikstrom和Martin Monperrus。 2021.Sorald：针对SonarQube静态分析违规的自动补丁建议。 arXiv预打印arXiv:2103.12033 (2021). 谷歌学者 Gordon Fraser和Andrea Arcuri，2011年。 EvoSuite：面向对象软件的自动测试套件生成。 在 第19届ACM SIGSOFT研讨会和第13届欧洲软件工程基础会议记录 （匈牙利塞格德） （ESEC/FSE’11）。 计算机械协会，美国纽约州纽约市，416-419。 谷歌学者 数字图书馆 Ali Ghanbari和Lingming Zhang。 2019.PraPR：通过字节码突变进行实用程序修复。 在 2019年第34届IEEE/ACM国际自动化软件工程会议（ASE）。 1118--1121. 谷歌学者 数字图书馆 GHC贡献者。 2021.GHC 8.10.4用户指南。 https://downloads.haskell.org/ ~ghc/8.10.4/docs/html/users_guide/index.html 谷歌学者 安迪·吉尔和科林·伦西曼。 2007年，Haskell项目报道。 在 ACM SIGPLAN Haskell研讨会会议记录 （德国弗赖堡） （Haskell’07）。 美国纽约州纽约市计算机协会，1-12。 谷歌学者 数字图书馆 马蒂亚斯·帕尔·吉苏拉森（Matthías Páll Gissurarson）。 2018.建议类型孔的有效孔配合（经验报告）。 在 第十一届ACM SIGPLAN Haskell国际研讨会会议记录 （美国密苏里州圣路易斯） （哈斯克尔，2018年）。 美国纽约州纽约市计算机协会，179-185。 谷歌学者 数字图书馆 Divya Gopinath、Muhammad Zubair Malik和Sarfraz Khurshid。 2011.使用SAT.In进行基于规范的程序修复 系统构建和分析的工具和算法 Parosh Aziz Abdulla和K.Rustan M.Leino（编辑）。 施普林格-柏林-海德堡，柏林，海德堡。 谷歌学者 数字图书馆 郑果、迈克尔·詹姆斯、大卫·朱斯托、周家雄、王子腾、兰吉特·贾拉和娜迪娅·波里卡波娃。 2019.通过类型引导的抽象提炼进行程序合成。 程序。 ACM计划。 语言。 4，POPL，第12条（2019年12月），28页。 谷歌学者 数字图书馆 理查德·哈姆雷特。 1994年，随机测试。 软件工程百科全书 2（1994），971-978。 谷歌学者 约翰·亨利·霍兰德等人，1992年。 自然和人工系统中的适应：生物学、控制和人工智能应用的介绍性分析。 麻省理工学院出版社。 谷歌学者 Michael B.James、Zheng Guo、Ziteng Wang、Shivani Doshi、Hila Peleg、Ranjit Jhala和Nadia Polikarpova。 2020年，挖掘褶皱：Haskell合成辅助API发现。 程序。 ACM计划。 语言。 4，OOPSLA，第205条（2020年11月），27页。 谷歌学者 数字图书馆 片山素木。 2011年，MagicHaskeller：系统演示。 在 2011年AAIP第四届归纳编程方法与应用国际研讨会论文集。 63 谷歌学者 Christoph Kern和Mark R.Greenstreet。 1999.硬件设计中的形式验证：一项调查。 ACM事务处理。 设计。 自动。 电子。 系统。 4，2（1999年4月），123--193。 谷歌学者 数字图书馆 爱德华·凯米特。 2021.镜头库。 https://hackage.haskell.org/package/lens 谷歌学者 孔祥龙，张玲明，王伟力，李碧欣，2015。 经验报告：技术、程序和测试如何影响自动化程序修复？。 在 2015年IEEE第26届软件可靠性工程国际研讨会（ISSRE）。 IEEE，194-204。 谷歌学者 数字图书馆 雷纳尔·科什克。 2007年，软件克隆研究调查。 在 软件中的重复、冗余和相似性（Dagstuhl研讨会论文集，06301） Rainer Koschke、Ettore Merlo和Andrew Walenstein（编辑）。 Internationales Begegnungs-und Forschungszentrum für Informatik（IBFI），德国达格斯图尔宫，德国达格斯图尔。 http://drops.dagstuhl.de/opus/volltexte/2007/962 谷歌学者 克里斯托夫·克里茨。 1998年，项目综合。 在 自动扣除——应用的基础。 斯普林格，105-134。 谷歌学者 克莱尔·勒·古伊斯（Claire Le Goues）、尤里·布伦（Yuriy Brun）、斯蒂芬妮·福雷斯特（Stephanie Forrest）和韦斯特利·魏默（Westley Weimer）。 2017.关于ManyBugs基准的构建和使用的澄清。 IEEE软件工程汇刊 43, 11 (2017), 1089--1090. 谷歌学者 数字图书馆 克莱尔·勒·古伊斯（Claire Le Goues）、斯蒂芬妮·福雷斯特（Stephanie Forrest）和韦斯特利·魏默（Westley Weimer）。 2013年，当前自动软件修复面临的挑战。 软件质量杂志 21, 3 (2013), 421--443. 谷歌学者 数字图书馆 Claire Le Goues、Neal Holtschulte、Edward K Smith、Yuriy Brun、Premkumar Devanbu、Stephanie Forrest和Westley Weimer。 2015.C程序自动修复的ManyBugs和IntroClass基准。 IEEE软件工程汇刊 41, 12 (2015), 1236--1256. 谷歌学者 数字图书馆 Claire Le Goues、ThanhVu Nguyen、Stephanie Forrest和Westley Weimer。 2012.GenProg：软件自动修复的通用方法。 IEEE软件工程汇刊 38, 1 (2012), 54--72. 谷歌学者 数字图书馆 Junho Lee、Dowon Song、Sunbeom So和Hakjoo Oh。 2018.功能编程分配逻辑错误的自动诊断和纠正。 程序。 ACM计划。 语言。 2，OOPSLA，第158条（2018年10月），30页。 谷歌学者 数字图书馆 Thibaud Lutellier、Hung Viet Pham、Lawrence Pang、Yitong Li、Moshi Wei和Lin Tan。 2020年。椰子：结合使用集成的上下文软件神经翻译模型进行程序修复。 在 第29届ACM SIGSOFT软件测试与分析国际研讨会论文集。 101--114. 谷歌学者 数字图书馆 David Mandelin、Lin Xu、Rastislav Bodík和Doug Kimelman。 2005.丛林采矿：帮助领航API丛林。 在 2005年ACM SIGPLAN编程语言设计与实现会议记录 （美国伊利诺伊州芝加哥） （PLDI’05）。 美国纽约州纽约市计算机协会，48-61。 谷歌学者 数字图书馆 马蒂亚斯·马丁内斯（Matias Martinez）、托马斯·杜利厄（Thomas Durieux）、罗曼·索默拉德（Romain Sommerard）、纪凤轩（Jifeng Xuan）和马丁·蒙佩鲁斯（Martin Monperrus）。 2017年，自动修复java中的真实错误：对defects4j数据集的大规模实验。 经验软件工程 22, 4 (2017), 1936--1964. arXiv:1811.02429 谷歌学者 数字图书馆 马蒂亚斯·马丁内斯和马丁·蒙佩鲁斯。 2016年，ASTOR：Java程序修复库。 在 ISSTA会议记录。 谷歌学者 数字图书馆 马蒂亚斯·马丁内斯和马丁·蒙佩鲁斯。 2019.Astor：探索GenProg以外的发电和验证程序修复的设计空间。 系统与软件杂志 151 (2019), 65--80. arXiv:1802.03365 谷歌学者 数字图书馆 马蒂亚斯·马丁内斯（Matias Martinez）、韦斯特利·维默（Westley Weimer）和马丁·蒙佩鲁斯（Martin Monperrus）。 2014.修复成分已经存在吗？ 程序修复方法冗余假设的实证研究。 在 第36届国际软件工程会议同期会议记录 （印度海得拉巴） （ICSE Companion 2014）。 美国纽约州纽约市计算机协会，492-495。 谷歌学者 数字图书馆 Ehsan Mashhadi和Hadi Hemmati。 2021.将CodeBERT应用于Java简单错误的自动程序修复。 arXiv预打印arXiv:2103.11626 (2021). 谷歌学者 凯瑟琳·梅多斯。 1994年.密码协议的形式验证：一项调查。 在 密码学理论与应用国际会议。 施普林格，133-150。 谷歌学者 谢尔盖·梅赫塔耶夫（Sergey Mechtaev）、Jooyong Yi和阿比克·罗伊乔杜里（Abhik Roychoudhury）。 2016年，Angelix：通过符号分析实现可扩展多行程序补丁合成。 在 第38届国际软件工程会议记录 （德克萨斯州奥斯汀） （ICSE’16）。 美国纽约州纽约市计算机协会，691--701。 谷歌学者 数字图书馆 杰弗里·诺伊曼（Geoffrey Neumann）、马克·哈曼（Mark Harman）和西蒙·保尔丁（Simon Poulding）。 2015年，Vargha-Delaney效应大小发生变化。 在 基于搜索的软件工程 Márcio Barros和Yvan Labiche（编辑）。 施普林格国际出版公司，查姆，318-324。 谷歌学者 阿米尔法哈德·尼利扎德（Amirfarhad Nilizadeh）、加里·利文斯（Gary T.Leavens）、宣巴赫·D·勒（Xuan-Bach D.Le）、科琳娜·S·佩斯·雷纳（Corina S.PSreanu。 2021.使用形式化方法探索动态自动程序修复中的真实测试过度拟合。 在 2021年第14届IEEE软件测试、验证和确认会议（ICST）。 229--240. 谷歌学者 交叉引用 雷诺德·鲍拉克（Renaud Pawlak）、马丁·蒙佩鲁斯（Martin Monperrus）、尼古拉斯·佩蒂普雷斯（Nicolas Petitprez）、卡洛斯·诺格拉（Carlos Noguera）和莱昂内尔·桑图里（Lionel Seinturier）。 2015.勺子：实现Java源代码分析和转换的库。 软件：实践与经验 46 (2015), 1155--1179. 谷歌学者 数字图书馆 里卡多·佩尼亚。 2017年，liquid haskell简介。 arXiv预打印arXiv:1701.03320 (2017). 谷歌学者 托尔斯滕·波勒。 2014.平均秩包的成对多重比较（PMCMR）。 R包 27, 2019 (2014), 9. 谷歌学者 纳迪娅·波里卡波娃（Nadia Polikarpova）、伊万·库拉吉（Ivan Kuraj）和阿曼多·索拉勒扎马（Armando Solar-Lezama）。 2016.多晶精炼类型的程序合成。 在 第37届ACM SIGPLAN编程语言设计与实现会议记录 （美国加利福尼亚州圣巴巴拉） （PLDI’16）。 美国纽约州纽约市计算机协会，522-538。 谷歌学者 数字图书馆 Nadia Polikarpova、Deian Stefan、Jean Yang、Shachar Itzhaky、Travis Hance和Armando Solar Lezama。 2020年，液体信息流控制。 程序。 ACM计划。 语言。 ICFP，第105条（2020年8月），30页。 谷歌学者 数字图书馆 齐玉华、毛晓光、颜磊。 2013.通过故障记录测试优先化高效自动程序修复。 在 2013年IEEE软件维护国际会议。 180--189. 谷歌学者 数字图书馆 齐玉华、毛晓光、颜磊、戴紫英和王成松。 2014.自动程序修复随机搜索的优势。 在 第36届国际软件工程会议记录。 254--265. 谷歌学者 数字图书馆 齐子超、范龙、萨拉·阿科尔和马丁·里纳德。 2015。生成和验证补丁生成系统的补丁合理性和正确性分析。 在 2015年软件测试与分析国际研讨会论文集 （马里兰州巴尔的摩，美国） （ISSTA 2015）。 美国纽约州纽约市计算机协会，24-36。 谷歌学者 数字图书馆 米歇尔·雷蒙德和弗朗索瓦·罗塞特。 1995年，人口分化的精确测试。 进化 49, 6 (1995), 1280--1283. http://www.jstor.org/stable/2410454 谷歌学者 交叉引用 Patrick Redmond、Gan Shen和Lindsey Kuper。 2021.利用Liquid Haskell实现井眼驱动开发。 arXiv预打印arXiv:2110.04461 (2021). 谷歌学者 Patrick M Rondon、Ming Kawaguci和Ranjit Jhala。 2008年。液体类型。 在 第29届ACM SIGPLAN编程语言设计与实现会议记录。 159--169. 谷歌学者 数字图书馆 科林·伦西曼（Colin Runciman）、马修·奈勒（Matthew Naylor）和弗雷德里克·林布拉德（Fredrik Lindblad）。 Smallcheck和lazy Smallcheck：对小值进行自动穷举测试。 Acm sigplan通知 44, 2 (2008), 37--48. 谷歌学者 数字图书馆 Ripon K Saha、Yingjun Lyu、Hiroaki Yoshida和Mukul R Prasad。 2017.Elixir：有效的面向对象程序修复。 在 2017年第32届IEEE/ACM国际自动化软件工程会议（ASE）。 IEEE，648--659。 谷歌学者 交叉引用 Saurabh Srivastava、Sumit Gulwani和Jeffrey S.Foster。 2010年，从项目验证到项目合成。 在 第37届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 （西班牙马德里） （POPL'10）。 美国纽约州纽约市计算机协会，313--326。 谷歌学者 数字图书馆 Chadi Trad、Rawad Abou Assi、Wes Masri和Fadi Zaraket。 2018.CFAAR：控制流程变更以协助维修。 在 2018年IEEE软件可靠性工程研讨会（ISSREW）国际研讨会。 IEEE，208-215。 谷歌学者 交叉引用 西蒙·乌利（Simon Urli）、于中兴（Zhongxing Yu）、莱昂内尔·桑图里尔（Lionel Seinturier）和马丁·蒙佩鲁斯（Martin Monperrus）。 2018.如何设计程序修复机器人？ 来自修复器项目的见解。 在 2018 IEEE/ACM第40届国际软件工程会议：实践轨道中的软件工程（ICSE-SEIP）。 IEEE标准，95-104。 谷歌学者 安德拉斯·瓦尔加（András Vargha）和哈罗德·德莱尼（Harold D Delaney）。 2000.对McGraw和Wong的CL共同语言影响大小统计的批评和改进。 教育与行为统计杂志 25, 2 (2000), 101--132. 谷歌学者 尼基·瓦祖（Niki Vazou）、列奥尼达斯·兰普洛斯（Leonidas Lampropoulos）和杰夫·波拉科（Jeff Polakow）。 2017年，两个证明人的故事：在Liquid Haskell和Coq中验证单体字符串匹配。 SIGPLAN不是。 52、10（2017年9月），63-74。 谷歌学者 数字图书馆 Ke Wang、Rishabh Singh和Zhendong Su.2017年。 用于程序修复的动态神经程序嵌入。 arXiv预打印arXiv:1711.07163 (2017). 谷歌学者 文明、陈俊杰、吴荣新、郝丹和张成驰。 2017.故障空间对基于搜索的自动程序修复影响的实证分析。 arXiv预打印arXiv:1707.05172 (2017). 谷歌学者 齐心。 2017.解决补丁过度匹配问题。 在 2017年IEEE/ACM第39届软件工程协会国际会议（ICSE-C）。 489--490. 谷歌学者 数字图书馆 齐欣和史蒂文·赖斯。 2017.通过生成测试用例来识别测试套件过多的补丁。 ISSTA 2017-第26届ACM SIGSOFT软件测试与分析国际研讨会论文集 (2017), 226--236. 谷歌学者 数字图书馆 齐欣和史蒂文·普赖斯。 2017.利用语法相关代码进行自动程序修复。 在 2017年第32届IEEE/ACM国际自动化软件工程会议（ASE）。 IEEE，660--670。 谷歌学者 交叉引用 赫耶、马蒂亚斯·马丁内斯、托马斯·杜利厄和马丁·蒙佩鲁斯。 2021.基于QuixBugs基准的自动程序修复的综合研究。 系统与软件杂志 171 (2021), 110825. 谷歌学者 交叉引用 余忠兴（Zhongxing Yu）、马蒂亚斯·马丁内斯（Matias Martinez）、本杰明·丹格洛（Benjamin Danglot）、托马斯·杜里埃（Thomas Durieux）和马丁·蒙佩鲁斯（Martin Mon。 2017.程序修复测试用例生成：可行性和有效性研究。 arXiv预打印arXiv:1703.00198 (2017). 谷歌学者 袁媛和沃尔夫冈·班扎夫。 2017年ARJA：通过多目标遗传编程自动修复Java程序。 arXiv公司 46, 10 (2017), 1040--1067. arXiv:1712.07804 谷歌学者 朱倩倩、Annibale Panichella和Andy Zaidman。 2018年，对压缩技术进行调查，以加快突变测试。 在 2018年IEEE第十一届软件测试、验证和确认国际会议（ICST）。 IEEE，274--284。 谷歌学者 交叉引用
建议
ArbitCheck：一种高度自动化的Java属性测试工具 ICSTW’14：2014 IEEE软件测试、验证和确认研讨会会议记录 如今，基于轻量级属性的测试工具变得越来越流行。 通过基于属性的测试，开发人员可以针对大量随机生成的输入测试被测系统的属性，而无需编写测试用例。 尽管。。。 从带有OCL约束的UML模型自动生成测试模型和属性 OCL’12：OCL和文本建模第12次研讨会会议记录 基于模型的测试和基于属性的测试是两种测试方法，通常可以使用模型或属性作为基础来派生完整的测试套件，从而促进测试用例生成的自动化。 在这样做的过程中，他们还。。。
