Eywa: Automating Model Based Testing using LLMs

Congestion avoidance and control

Van Jacobson. 1988 · 1988

Earlier work this paper cites.

Protocol testing: review of methods and relevance for software testing. In Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis

Gregor V Bochmann and Alexandre Petrenko. 1994 · 1994

Earlier work this paper cites.

Smart greybox fuzzing

Van-Thuan Pham, Marcel Böhme, Andrew E Santosa, Alexandru Răzvan Căciulescu, and Abhik Roychoudhury. 2019 · 1997

Earlier work this paper cites.

QuickCheck: a lightweight tool for random testing of Haskell programs. In Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Koen Claessen and John Hughes. 2000 · 2000

Earlier work this paper cites.

TestEra: Specification-based testing of Java programs using SAT

Sarfraz Khurshid and Darko Marinov. 2004 · 2004

Earlier work this paper cites.

DART: Directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

Patrice Godefroid, Nils Klarlund, and Koushik Sen. 2005 · 2005

Earlier work this paper cites.

Randoop: feedback-directed random testing for Java. In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion

Carlos Pacheco and Michael D Ernst. 2007 · 2007

Earlier work this paper cites.

Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs.. In OSDI

Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al · 2008

Earlier work this paper cites.

Grammar-based whitebox fuzzing. In Proceedings of the 29th ACM SIGPLAN conference on programming language design and implementation

Patrice Godefroid, Adam Kiezun, and Michael Y Levin. 2008 · 2008

Earlier work this paper cites.

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

Colin Runciman, Matthew Naylor, and Fredrik Lindblad. 2008 · 2008

Earlier work this paper cites.

Autofuzz: Automated network protocol fuzzing framework

Serge Gorbunov and Arnold Rosenbloom. 2010 · 2010

Earlier work this paper cites.

Aspfuzz: A state-aware protocol fuzzer based on application-layer protocols. In The IEEE symposium on Computers and Communications

Takahisa Kitagawa, Miyuki Hanaoka, and Kenji Kono. 2010 · 2010

Earlier work this paper cites.

Evosuite: automatic test suite generation for object-oriented software. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Gordon Fraser and Andrea Arcuri. 2011 · 2011

Earlier work this paper cites.

SAGE: whitebox fuzzing for security testing

Patrice Godefroid, Michael Y Levin, and David Molnar. 2012 · 2012

Earlier work this paper cites.

A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, and Bruno Legeard. 2012 · 2012

Earlier work this paper cites.

Scheduling black-box mutational fuzzing. In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security

Maverick Woo, Sang Kil Cha, Samantha Gottlieb, and David Brumley. 2013 · 2013

Earlier work this paper cites.

T-Fuzz: Model-based fuzzing for robustness testing of telecommunication protocols. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation

William Johansson, Martin Svensson, Ulf E Larson, Magnus Almgren, and Vincenzo Gulisano. 2014 · 2014

Earlier work this paper cites.

Docker: Lightweight Linux Containers for Consistent Development and Deployment

Dirk Merkel. 2014 · 2014

Earlier work this paper cites.

A general approach to network configuration analysis. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation

Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015 · 2015

Earlier work this paper cites.

Pulsar: Stateful black-box fuzzing of proprietary network protocols. In Security and Privacy in Communication Networks: 11th EAI International Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015, Proceedings 11

Hugo Gascon, Christian Wressnegger, Fabian Yamaguchi, Daniel Arp, and Konrad Rieck. 2015 · 2015

Earlier work this paper cites.

Analyzing protocol implementations for interoperability. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)

Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015 · 2015

Earlier work this paper cites.

Coverage-based greybox fuzzing as markov chain. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Marcel Böhme, Van-Thuan Pham, and Abhik Roychoudhury. 2016 · 2016

Earlier work this paper cites.

Directed greybox fuzzing. In Proceedings of the 2017 ACM SIGSAC conference on computer and communications security

Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, and Abhik Roychoudhury. 2017 · 2017

Earlier work this paper cites.

Angora: Efficient fuzzing by principled search. In 2018 IEEE Symposium on Security and Privacy (SP)

Peng Chen and Hao Chen. 2018 · 2018

Earlier work this paper cites.

Compositional testing of internet protocols. In 2019 IEEE Cybersecurity Development (SecDev)

Kenneth L McMillan and Lenore D Zuck. 2019a · 2019

Earlier work this paper cites.

Superion: Grammar-aware greybox fuzzing. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

Junjie Wang, Bihuan Chen, Lei Wei, and Yang Liu. 2019 · 2019

Cited alongside, same era.

GRooT: Proactive Verification of DNS Configurations. In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication

Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, and George Varghese. 2020 · 2020

Cited alongside, same era.

AFLNet: a greybox fuzzer for network protocols. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)

Van-Thuan Pham, Marcel Böhme, and Abhik Roychoudhury. 2020 · 2020

Cited alongside, same era.

Unit test case generation with transformers and focal context

Original

Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Shao Kun Deng, and Neel Sundaresan. 2020 · 2020

Cited alongside, same era.

TwistedNames

Twisted Matrix Labs. 2023b · 2023

Closest in time.

A Formal Framework for End-to-End DNS Resolution. In Proceedings of the ACM SIGCOMM 2023 Conference

Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig. 2023a · 2023

Closest in time.

What Led To Internet Outage That Took Down Some Major Websites On July 22?

Shikhar Mehrotra. 2023 · 2023

Closest in time.

Azure OpenAI Service

Microsoft. 2023 · 2023

Closest in time.

What do LLMs need to Synthesize Correct Router Configurations?. In Proceedings of the 22nd ACM Workshop on Hot Topics in Networks

Rajdeep Mondal, Alan Tang, Ryan Beckett, Todd Millstein, and George Varghese. 2023 · 2023

Closest in time.

Decades-Old Code Is Putting Millions of Critical Devices at Risk

Lily Hay Newman. 2023 · 2023

Closest in time.