Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models
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 …
under test with a combination of test case generation and mutation. SBST's performance …
Universal fuzzing via large language models
Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …
various software systems. Systems under test (SUTs) that take in programming or formal …
[PDF][PDF] Large language model guided protocol fuzzing
How to find security flaws in a protocol implementation without a machine-readable
specification of the protocol? Facing the internet, protocol implementations are particularly …
specification of the protocol? Facing the internet, protocol implementations are particularly …
Fuzz4all: Universal fuzzing with large language models
Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in
various software systems. Systems under test (SUTs) that take in programming or formal …
various software systems. Systems under test (SUTs) that take in programming or formal …
Sok: Prudent evaluation practices for fuzzing
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 …
decade. After AFL popularized the groundbreaking concept of lightweight coverage …
Effective test generation using pre-trained large language models and mutation testing
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 …
Testing helps with identifying potential bugs and reducing maintenance costs. The goal of …
Nnsmith: Generating diverse and valid test cases for deep learning compilers
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 …
optimize deep neural network (DNN) models to meet performance, resource utilization and …
{FIXREVERTER}: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing
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 …
pace. Such proposals are assessed empirically: Can they be shown to perform better than …
Test smells 20 years later: detectability, validity, and reliability
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 …
have been extensively studied and generally found quite prevalent in both human-written …
Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit Domain Knowledge
Today's digital communication relies on complex protocols and specifications for
exchanging structured messages and data. Communication naturally involves two …
exchanging structured messages and data. Communication naturally involves two …