We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Growing a Test Corpus with Bonsai Fuzzing

Abstract: This paper presents a coverage-guided grammar-based fuzzing technique for automatically generating a corpus of concise test inputs for programs such as compilers. We walk-through a case study of a compiler designed for education and the corresponding problem of generating meaningful test cases to provide to students. The prior state-of-the-art solution is a combination of fuzzing and test-case reduction techniques such as variants of delta-debugging. Our key insight is that instead of attempting to minimize convoluted fuzzer-generated test inputs, we can instead grow concise test inputs by construction using a form of iterative deepening. We call this approach Bonsai Fuzzing. Experimental results show that Bonsai Fuzzing can generate test corpora having inputs that are 16--45% smaller in size on average as compared to a fuzz-then-reduce approach, while achieving approximately the same code coverage and fault-detection capability.
Comments: Accepted at the 43rd International Conference on Software Engineering (ICSE 2021)
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
Cite as: arXiv:2103.04388 [cs.SE]
  (or arXiv:2103.04388v1 [cs.SE] for this version)

Submission history

From: Rohan Padhye [view email]
[v1] Sun, 7 Mar 2021 16:13:17 GMT (388kb,D)

Link back to: arXiv, form interface, contact.