Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models

C Lemieux, JP Inala, SK Lahiri… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Search-based software testing (SBST) generates high-coverage test cases for programs
under test with a combination of test case generation and mutation. SBST's performance …

Universal fuzzing via large language models

CS Xia, M Paltenghi, J Le Tian, M Pradel, L Zhang - CoRR, 2023 - openreview.net
Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

[PDF][PDF] Large language model guided protocol fuzzing

R Meng, M Mirchev, M Böhme… - Proceedings of the …, 2024 - ndss-symposium.org
How to find security flaws in a protocol implementation without a machine-readable
specification of the protocol? Facing the internet, protocol implementations are particularly …

Fuzz4all: Universal fuzzing with large language models

CS Xia, M Paltenghi, J Le Tian, M Pradel… - Proceedings of the IEEE …, 2024 - dl.acm.org
Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …

Sok: Prudent evaluation practices for fuzzing

M Schloegel, N Bars, N Schiller… - … IEEE Symposium on …, 2024 - ieeexplore.ieee.org
Fuzzing has proven to be a highly effective approach to uncover software bugs over the past
decade. After AFL popularized the groundbreaking concept of lightweight coverage …

Effective test generation using pre-trained large language models and mutation testing

AM Dakhel, A Nikanjam, V Majdinasab… - Information and …, 2024 - Elsevier
Context: One of the critical phases in the software development life cycle is software testing.
Testing helps with identifying potential bugs and reducing maintenance costs. The goal of …

Nnsmith: Generating diverse and valid test cases for deep learning compilers

J Liu, J Lin, F Ruffy, C Tan, J Li, A Panda… - Proceedings of the 28th …, 2023 - dl.acm.org
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly being used to
optimize deep neural network (DNN) models to meet performance, resource utilization and …

{FIXREVERTER}: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing

Z Zhang, Z Patterson, M Hicks, S Wei - 31st USENIX Security Symposium …, 2022 - usenix.org
Fuzz testing is an active area of research with proposed improvements published at a rapid
pace. Such proposals are assessed empirically: Can they be shown to perform better than …

Test smells 20 years later: detectability, validity, and reliability

A Panichella, S Panichella, G Fraser… - Empirical Software …, 2022 - Springer
Test smells aim to capture design issues in test code that reduces its maintainability. These
have been extensively studied and generally found quite prevalent in both human-written …

Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit Domain Knowledge

N Bars, M Schloegel, T Scharnowski… - 32nd USENIX Security …, 2023 - usenix.org
Today's digital communication relies on complex protocols and specifications for
exchanging structured messages and data. Communication naturally involves two …