Fetching the paper…
Reading the bibliography…
Code contains security and functional bugs.
A New Algorithm for Data Compression
Philip Gage · 1994
Earlier work this paper cites.
BLEU: a method for automatic evaluation of machine translation
Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu · 2002
Earlier work this paper cites.
Static analysis for security
Brian Chess and Gary McGraw · 2004
Earlier work this paper cites.
Code complete
Steve McConnell · 2004
Earlier work this paper cites.
Observations and lessons learned from automated testing
Stefan Berner, Roland Weber, and Rudolf K. Keller · 2005
Earlier work this paper cites.
/*icomment: bugs or bad comments?*/
Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou · 2007
Earlier work this paper cites.
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
Shin Hwei Tan, Darko Marinov, Lin Tan, and Gary T. Leavens · 2012
Earlier work this paper cites.
Quality analysis of source code comments
Daniela Steidl, Benjamin Hummel, and Elmar Juergens · 2013
Earlier work this paper cites.
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)
Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, and Andrea Arcuri · 2015
Earlier work this paper cites.
Bugram: bug detection with n-gram language models
Song Wang, Devin Chollak, Dana Movshovitz-Attias, and Lin Tan · 2016
Earlier work this paper cites.
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
Derrick Lin, James Koppel, Angela Chen, and Armando Solar-Lezama · 2017
Earlier work this paper cites.
Attention is All you Need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Earlier work this paper cites.
A feasibility study of using automated program repair for introductory programming assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury · 2017
Earlier work this paper cites.
Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model, February 2018
Saikat Chakraborty, Yujian Li, Matt Irvine, Ripon Saha, and Baishakhi Ray · 2018
Earlier work this paper cites.
How many of all bugs do we find? a study of static bug detectors
Andrew Habib and Michael Pradel · 2018
Earlier work this paper cites.
Fuzzing: a survey
Jun Li, Bodong Zhao, and Chao Zhang · 2018
Cited alongside, same era.
DeepBugs: a learning approach to name-based bug detection
Michael Pradel and Koushik Sen · 2018
Cited alongside, same era.
Bug Detection Based on LSTM Networks and Solution Codes
Yunosuke Teshima and Yutaka Watanobe · 2018
Cited alongside, same era.
Hardfails: Insights into Software-Exploitable Hardware Bugs
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun Kanuparthi, Hareesh Khattri, Jason Fung, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran · 2019
Cited alongside, same era.
Language Models are Unsupervised Multitask Learners
Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, and Ilya Sutskever · 2019
Cited alongside, same era.
Language Models are Few-Shot Learners
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei · 2020
Fixing Hardware Security Bugs with Large Language Models, February 2023
Baleegh Ahmad, Shailja Thakur, Benjamin Tan, Ramesh Karri, and Hammond Pearce · 2023
Closest in time.
Aizu Online Judge, 2015
Aizu · 2023
Closest in time.
NVD - Home, 2023
National Vulnerability Database · 2023
Closest in time.
Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT, April 2023
Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, and Lingming Zhang · 2023
Closest in time.
Release V1.2.0 · EvoSuite/evosuite, 2021
EvoSuite · 2023
Closest in time.
Infer, 2021
Infer · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Hoppity: Learning graph transformations to detect and fix bugs in programs
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, and Ke Wang · 2020
Cited alongside, same era.
BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies
Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok, Haodi Qi, Jack Phan, Qijin Tay, Constance Tan, Fiona Wee, Jodie Ethelda Tan, Yuheng Yieh, Brian Goh, Ferdian Thung, Hong Jin Kang, Thong Hoang, David Lo, and Eng Lieh Ouh · 2020
Cited alongside, same era.
Evaluating Large Language Models Trained on Code, July 2021
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 Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Josh Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, and Wojciech Zaremba · 2021
Cited alongside, same era.
CodeQL for research, 2021
Github Inc · 2021
Cited alongside, same era.
CirFix: automatically repairing defects in hardware design code
Hammad Ahmad, Yu Huang, and Westley Weimer · 2022
Cited alongside, same era.
CWE - CWE-1194: Hardware Design (4.1), 2022
The MITRE Corporation · 2022
Cited alongside, same era.
Finding Failure-Inducing Test Cases with ChatGPT, April 2023
Tsz-On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, and Jeff Kramer · 2023
Closest in time.
Open source silicon root of trust (RoT) | OpenTitan, 2023
lowRISC contributors · 2023
Closest in time.
Examining Zero-Shot Vulnerability Repair with Large Language Models
Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, and Brendan Dolan-Gavitt · 2023
Closest in time.
Error Prone, 2023
Error Prone · 2023
Closest in time.
Randoop: Automatic unit test generation for Java, 2023
Randoop · 2023
Closest in time.
Artifacts for “FLAG: Finding Line Anomalies (in code) with Generative AI”
Anonymized for review · 2023
Closest in time.
Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Siddharth Garg, and Brendan Dolan-Gavitt · 2023
Closest in time.
SpotBugs, 2022
SpotBugs · 2023
Closest in time.