Fetching the paper…
Reading the bibliography…
The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic.
Symbolic execution and program testing
James C King · 1976
Earlier work this paper cites.
Model checking
Edmund M Clarke, Orna Grumberg, and Doron A Peled · 1999
Earlier work this paper cites.
Agile manifesto
Kent Beck et al · 2001
Earlier work this paper cites.
Using findbugs on production software
Nathaniel Ayewah and William Pugh · 2008
Earlier work this paper cites.
A systematic survey of program comprehension through dynamic analysis
Bas Cornelissen, Andy Zaidman, Arie van Deursen, Leon Moonen, and Rainer Koschke · 2009
Earlier work this paper cites.
Business logic vulnerabilities in web applications
Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, and Giovanni Vigna · 2010
Earlier work this paper cites.
A few billion lines of code later: using static analysis to find bugs in the real world
Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler · 2010
Earlier work this paper cites.
Why don’t software developers use static analysis tools to find bugs?
Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge · 2013
Earlier work this paper cites.
The devops handbook: How to create world-class agility, reliability, and security in technology organizations
Gene Kim, Jez Humble, Patrick Debois, and John Willis · 2016
Earlier work this paper cites.
Real time image saliency for black box classifiers, 2017
Piotr Dabkowski and Yarin Gal · 2017
Earlier work this paper cites.
The best of both worlds: Combining recent advances in neural machine translation
Mia X Chen, Orhan Firat, Ankur Bapna, Melvin Johnson, Wolfgang Macherey, George Foster, Llion Jones, Niki Parmar, Mike Schuster, Yonghui Wu, et al · 2018
Cited alongside, same era.
Language models are unsupervised multitask learners
Alec Radford, Jeff Wu, Rewon Child, David Luan, Dario Amodei, and Ilya Sutskever · 2019
Cited alongside, same era.
A dataset of non-functional bugs
Aida Radu and Sarah Nadi · 2019
Cited alongside, same era.
Language models are few-shot learners
Tom B Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 2020
Cited alongside, same era.
Codebert: A pre-trained model for programming and natural languages
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaojiang Feng, Ming Gong, Lin Shou, Bing Qin, Ting Liu, Daxin Jiang, et al · 2020
Cited alongside, same era.
A survey of human-in-the-loop for machine learning
Xingjiao Wu, Luwei Xiao, Yixuan Sun, Junhang Zhang, Tianlong Ma, and Liang He · 2022
Later among the works it cites.
A survey on in-context learning, 2023
Qingxiu Dong, Lei Li, Damai Dai, Ce Zheng, Zhiyong Wu, Baobao Chang, Xu Sun, Jingjing Xu, Lei Li, and Zhifang Sui · 2023
Closest in time.
Semantic Kernel: Integrate cutting-edge llm technology quickly and easily into your apps
Microsoft · 2023
Closest in time.
GitHub - yoheinakajima/babyagi
Yohei Nakajima · 2023
Closest in time.
Gpt-3.5 turbo fine-tuning and api updates
Andrew Peng, Michael Wu, John Allard, Logan Kilpatrick, and Steven Heidel · 2023
Closest in time.
GitHub - Significant-Gravitas/AutoGPT: An experimental open-source attempt to make GPT-4 fully autonomous. — github.com
Toran Bruce Richards · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Big code != big vocabulary: Open-vocabulary models for source code
Rafael-Michael Karampatsis and Charles Sutton · 2020
Cited alongside, same era.
Explainable ai: A review of machine learning interpretability methods
Pantelis Linardatos, Vasilis Papastefanopoulos, and Sotiris B. Kotsiantis · 2020
Cited alongside, same era.
Pythia: Ai-assisted code completion system
Alexey Svyatkovskiy, Ying Zhao, Shengyu Fu, and Neel Sundaresan · 2020
Cited alongside, same era.
Gpt-4: Training large language models
OpenAI · 2021
Cited alongside, same era.
Text embeddings by weakly-supervised contrastive pre-training
Liang Wang, Nan Yang, Xiaolong Huang, Binxing Jiao, Linjun Yang, Daxin Jiang, Rangan Majumder, and Furu Wei · 2022
Cited alongside, same era.
Why don’t people use static analysis tools to find bugs?
Brittany Johnson, Yang Song, Emerson Murphy-Hill, and Robert Bowdidge
Cited in the paper.
Code llama: Open foundation models for code, 2023
Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, Jérémy Rapin, Artyom Kozhevnikov, Ivan Evtimov, Joanna Bitton, Manish Bhatt, Cristian Canton Ferrer, Aaron Grattafiori, Wenhan Xiong, Alexandre Défossez, Jade Copet, Faisal Azhar, Hugo Touvron, Louis Martin, Nicolas Usunier, Thomas Scialom, and Gabriel Synnaeve · 2023
Closest in time.
Multi-agent collaboration: Harnessing the power of intelligent llm agents, 2023
Yashar Talebirad and Amirhossein Nadiri · 2023
Closest in time.
An empirical study of functional bugs in android apps
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, and Zhendong Su · 2023
Closest in time.
React: Synergizing reasoning and acting in language models, 2023
Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, and Yuan Cao · 2023
Closest in time.