39 citations
- Ruhr University BochumDE18 papers
- Helmholtz Center for Information SecurityDE7 papers
- TU Dortmund UniversityDE4 papers
- Arizona State UniversityUS3 papers
- Leibniz University HannoverDE3 papers
- New York UniversityUS3 papers
- University of EdinburghGB3 papers
- University of PaduaIT3 papers
- Alliance Data (United States)US2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Columbia UniversityUS2 papers
- Cornell UniversityUS2 papers
6 papers · 1 filter
On Interaction Effects in Greybox Fuzzing
Konstantinos Kitsios, Marcel Böhme, Alberto Bacchelli
A greybox fuzzer is an automated software testing tool that generates new test inputs by applying randomly chosen mutators (e.g., flipping a bit or deleting a block of bytes) to a…
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
Kieun Kim, Seongmin Lee, Shin Hong
We present DiffMin, a technique that refines a fuzzed crashing input to gain greater similarities to given passing inputs to help developers analyze the crashing input to identify…
An Empirical Study of Fuzz Harness Degradation
Philipp Görz, Joschua Schilling, Nicolai Bissantz +1
The purpose of continuous fuzzing platforms is to enable fuzzing for software projects via fuzz harnesses -- but as the projects continue to evolve, are these harnesses updated in…
Evaluating LLM-Based Regression Test Generation
Jing Liu, Seongmin Lee, Eleonora Losiouk +1
Large Language Models (LLMs) have shown tremendous promise in automated software engineering. In this paper, we investigate LLMs for just-in-time regression test generation for pro…
An Efficient VCGen-based Modular Verification of Relational Properties
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto +1
Deductive verification typically relies on function contracts that specify the behavior of each function for a single function call. Relational properties link several function cal…
How good does a Defect Predictor need to be to guide Search-Based Software Testing?
Anjana Perera, Burak Turhan, Aldeida Aleti +1
Defect predictors, static bug detectors and humans inspecting the code can locate the parts of the program that are buggy before they are discovered through testing. Automated test…