MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators

Dewey, Kyle; Hairapetian, Shant; Gavrilov, Miroslav

doi:10.1109/icst46399.2020.00016

Cited by 2 publications

(2 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The specification languages of existing tools are primarily descriptive formal languages and executable programming languages. For example, Korat [Milicevic et al, 2007] and UDITA [Gligoric et al, 2010] require data structure validation methods written in Java, whereas Senni and Fioravanti, 2012 employ an equally expressive type grammar, De Angelis et al, 2019 use PropEr user-defined types to generate test inputs for Erlang programs, and MiMIs [Dewey, Hairapetian, and Gavrilov, 2020] utilize Scala class definitions.…”

Section: Related Workmentioning

confidence: 99%

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

2021

Kiel Computer Science Series, KCSS

View full text Add to dashboard Cite

The Kiel Computer Science Series (KCSS) covers dissertations, habilitation theses, lecture notes, textbooks, surveys, collections, handbooks, etc. written at the Department of Computer Science at Kiel University. It was initiated in 2011 to support authors in the dissemination of their work in electronic and printed form, without restricting their rights to their work. The series provides a uniﬁed appearance and aims at high-quality typography. The KCSS is an open access series; all series titles are electronically available free of charge at the department’s website. In addition, authors are encouraged to make printed copies available at a reasonable price, typically with a print-on-demand service.

show abstract

Section: Related Workmentioning

confidence: 99%

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

2021

Kiel Computer Science Series, KCSS

View full text Add to dashboard Cite

show abstract

“…That is, it becomes possible to say that there do not exist two floating point expressions that evaluate to the same value, or a particular grammar does not have an ambiguous parse for strings of a fixed depth, or for all functions, a particular approximation is within bounds. Given the power of BET, it is under active research [8,35,13,1] Given the utility of BET, any approach that can reduce the cost of BET is welcome for safety critical application verification. The fast feedback fuzzing by BFUZZER can reliably prune a large part of the input quickly, and do that without running the program under instrumentation (which can incur an overhead).…”

Section: Exhaustive Testingmentioning

confidence: 99%

Fuzzing with Fast Failure Feedback

Gopinath,

Bendrissou,

Mathis

et al. 2020

Preprint

View full text Add to dashboard Cite

Fuzzing-testing programs with random inputs-has become the prime technique to detect bugs and vulnerabilities in programs. To generate inputs that cover new functionality, fuzzers require execution feedback from the program-for instance, the coverage obtained by previous inputs, or the conditions that need to be resolved to cover new branches. If such execution feedback is not available, though, fuzzing can only rely on chance, which is ineffective. In this paper, we introduce a novel fuzzing technique that relies on failure feedback only-that is, information on whether an input is valid or not, and if not, where the error occurred. Our BFUZZER tool enumerates byte after byte of the input space and tests the program until it finds valid prefixes, and continues exploration from these prefixes. Since no instrumentation or execution feedback is required, BFUZZER is language agnostic and the required tests execute very quickly. We evaluate our technique on five subjects, and show that BFUZZER is effective and efficient even in comparison to its white-box counterpart.

show abstract

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators

Cited by 2 publications

References 40 publications

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Fuzzing with Fast Failure Feedback

Contact Info

Product

Resources

About