Fetching the paper…
Reading the bibliography…
Informal natural language that describes code functionality, such as code comments or function documentation, may contain substantial information about a programs intent.
The strongest postcondition
Edsger W Dijkstra and Carel S Scholten. 1990 · 1990
Earlier work this paper cites.
Aspect, a formal specification language for detecting bugs
Daniel Jackson. 1992 · 1992
Earlier work this paper cites.
Formal specifications in software maintenance: From code to Z++ and back again
Jonathan P Bowen, Peter T Breuer, and Kevin C Lano. 1993 · 1993
Earlier work this paper cites.
Dynamically discovering likely program invariants to support program evolution. In
Michael D Ernst, Jake Cockrell, William G Griswold, and David Notkin. 1999 · 1999
Earlier work this paper cites.
The Spec# programming system: An overview. In Construction and Analysis of Safe, Secure, and Interoperable Smart devices (CASSIS)” volume 3362 of Lecture Notes in Computer Science
B Mike, K Rustan M Leino, and S Wolfram. 2004 · 2004
Earlier work this paper cites.
Agile specification-driven development. In
Jonathan S Ostroff, David Makalsky, and Richard F Paige. 2004 · 2004
Earlier work this paper cites.
Beyond assertions: Advanced specification and verification with JML and ESC/Java2. In
Patrice Chalin, Joseph R Kiniry, Gary T Leavens, and Erik Poll. 2006 · 2005
Earlier work this paper cites.
Contract driven development= test driven development-writing test cases. In
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, and Arno Fiva. 2007 · 2007
Earlier work this paper cites.
Static specification mining using automata-based abstractions. In
Sharon Shoham, Eran Yahav, Stephen Fink, and Marco Pistoia. 2007 · 2007
Earlier work this paper cites.
/* iComment: Bugs or bad comments?*. In
Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou. 2007 · 2007
Earlier work this paper cites.
On the automation of fixing software bugs. In
Andrea Arcuri. 2008 · 2008
Earlier work this paper cites.
Unit Test Case Generation with Transformers and Focal Context
Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Shao Kun Deng, and Neel Sundaresan. 2020 · 2009
Earlier work this paper cites.
Unit Test Case Generation with Transformers and Focal Context
Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Shao Kun Deng, and Neel Sundaresan. 2021 · 2009
Earlier work this paper cites.
Inferring resource specifications from natural language API documentation. In
Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei. 2009 · 2009
Earlier work this paper cites.
An analysis and survey of the development of mutation testing
Yue Jia and Mark Harman. 2010 · 2010
Earlier work this paper cites.
Dafny: An automatic program verifier for functional correctness. In
K Rustan M Leino. 2010 · 2010
Earlier work this paper cites.
Evosuite: automatic test suite generation for object-oriented software. In
Gordon Fraser and Andrea Arcuri. 2011 · 2011
Earlier work this paper cites.
Secure Distributed Programming with Value-Dependent Types. In
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, and Jean Yang. 2011 · 2011
Earlier work this paper cites.
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. In
Lin Tan, Yuanyuan Zhou, and Yoann Padioleau. 2011 · 2011
Earlier work this paper cites.
An abstract interpretation framework for refactoring with application to extract methods with contracts. In
Patrick M Cousot, Radhia Cousot, Francesco Logozzo, and Michael Barnett. 2012 · 2012
Earlier work this paper cites.
Inferring method specifications from natural language API descriptions. In
Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar. 2012 · 2012
Cited alongside, same era.
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies. In
Shin Hwei Tan, Darko Marinov, Lin Tan, and Gary T Leavens. 2012 · 2012
Cited alongside, same era.
Paired t test
Henry Hsu and Peter A Lachenbruch. 2014 · 2014
Cited alongside, same era.
Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In
René Just, Darioush Jalali, and Michael D Ernst. 2014 · 2014
Cited alongside, same era.
Formal specification-driven development. In
Richard Rutledge, Sheryl Duggins, Dan Lo, and Frank Tsui. 2014 · 2014
Cited alongside, same era.
Learning invariants using decision trees and implication counterexamples. In
Pranav Garg, Daniel Neider, P. Madhusudan, and Dan Roth. 2016 · 2016
Interactive code generation via test-driven user-intent formalization
Shuvendu K Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, and Jianfeng Gao. 2022 · 2022
Later among the works it cites.
Can language models learn from explanations in context?
Andrew K. Lampinen, Ishita Dasgupta, Stephanie C. Y. Chan, Kory Matthewson, Michael Henry Tessler, Antonia Creswell, James L. McClelland, Jane X. Wang, and Felix Hill. 2022 · 2022
Later among the works it cites.
Using transfer learning for code-related tasks
Antonio Mastropaolo, Nathan Cooper, David Nader Palacio, Simone Scalabrino, Denys Poshyvanyk, Rocco Oliveto, and Gabriele Bavota. 2022 · 2022
Later among the works it cites.
Codegen: An open large language model for code with multi-turn program synthesis
Erik Nijkamp, Bo Pang, Hiroaki Hayashi, Lifu Tu, Huan Wang, Yingbo Zhou, Silvio Savarese, and Caiming Xiong. 2022 · 2022
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Automatic generation of oracles for exceptional behaviors. In
Alberto Goffi, Alessandra Gorla, Michael D Ernst, and Mauro Pezzè. 2016 · 2016
Cited alongside, same era.
From invariant checking to invariant inference using randomized search
Rahul Sharma and Alex Aiken. 2016 · 2016
Cited alongside, same era.
Analyzing APIs documentation and code to detect directive defects. In
Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, and Harald Gall. 2017 · 2017
Cited alongside, same era.
Translating code comments to procedure specifications. In
Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D Ernst, Mauro Pezzè, and Sergio Delgado Castellanos. 2018 · 2018
Cited alongside, same era.
Understanding source code comments at large-scale. In
Hao He. 2019 · 2019
Cited alongside, same era.
What constitutes software? An empirical, descriptive study of artifacts. In
Rolf-Helge Pfeiffer. 2020 · 2020
Cited alongside, same era.
Training language models to follow instructions with human feedback
Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, et al · 2022
Later among the works it cites.
Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers. In
Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, and Neel Sundaresan. 2022 · 2022
Later among the works it cites.
Emergent Abilities of Large Language Models
Jason Wei, Yi Tay, Rishi Bommasani, Colin Raffel, Barret Zoph, Sebastian Borgeaud, Dani Yogatama, Maarten Bosma, Denny Zhou, Donald Metzler, et al · 2022
Later among the works it cites.
Amazon CodeWhisperer
Amazon AWS. 2023 · 2023
Closest in time.
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, and Shuvendu K Lahiri. 2023 · 2023
Closest in time.
GitHub Copilot
GitHub. 2023 · 2023
Closest in time.
CODAMOSA: Escaping coverage plateaus in test generation with pre-trained large language models. In
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K Lahiri, and Siddhartha Sen. 2023 · 2023
Closest in time.
StarCoder: may the source be with you!
Raymond Li, Loubna Ben Allal, Yangtian Zi, Niklas Muennighoff, Denis Kocetkov, Chenghao Mou, Marc Marone, Christopher Akiki, Jia Li, Jenny Chim, et al · 2023
Closest in time.
Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and Lingming Zhang. 2023 · 2023
Closest in time.
Demystifying GPT Self-Repair for Code Generation
Theo X Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, and Armando Solar-Lezama. 2023 · 2023
Closest in time.
Can Large Language Models Reason about Program Invariants?
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin. 2023 · 2023
Closest in time.
Tabnine Code Completion
Tabnine. 2023 · 2023
Closest in time.
Can Large Language Models Write Good Property-Based Tests?
Vasudev Vikram, Caroline Lemieux, and Rohan Padhye. 2023 · 2023
Closest in time.
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc Le, and Denny Zhou. 2023 · 2023
Closest in time.
Least-to-Most Prompting Enables Complex Reasoning in Large Language Models
Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc Le, and Ed Chi. 2023 · 2023
Closest in time.