Thu 27 May 2021 04:05 - 04:25 at Blended Sessions Room 1 - 2.4.1. Fuzzing
Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and give their user precise control over which test inputs should be generated. Adapting a grammar or a test generator towards a particular testing goal can be tedious, though. We introduce the concept of a grammar transformer, specializing a grammar towards inclusion or exclusion of specific patterns: “The phone number must not start with 011 or +1”. To the best of our knowledge, ours is the first approach to allow for arbitrary Boolean combinations of patterns, giving testers unprecedented flexibility in creating targeted software tests. The resulting specialized grammars can be used with any grammar-based fuzzer for targeted test generation, but also as validators to check whether the given specialization is met or not, opening up additional usage scenarios. In our evaluation on real-world bugs, we show that specialized grammars are accurate both in producing and validating targeted inputs.
Wed 26 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:05 - 17:05 | 2.4.1. FuzzingTechnical Track at Blended Sessions Room 1 +12h Chair(s): Hakan Erdogmus Carnegie Mellon University | ||
16:05 20mPaper | Input AlgebrasTechnical Track Technical Track Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print Media Attached | ||
16:25 20mPaper | Fuzzing Symbolic ExpressionsTechnical Track Technical Track Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome Pre-print Media Attached | ||
16:45 20mPaper | Growing A Test Corpus with Bonsai FuzzingTechnical Track Technical Track Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley Pre-print Media Attached |
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
04:05 - 05:05 | |||
04:05 20mPaper | Input AlgebrasTechnical Track Technical Track Rahul Gopinath CISPA Helmholtz Center for Information Security, Hamed Nemati CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print Media Attached | ||
04:25 20mPaper | Fuzzing Symbolic ExpressionsTechnical Track Technical Track Luca Borzacchiello Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Camil Demetrescu Sapienza University of Rome Pre-print Media Attached | ||
04:45 20mPaper | Growing A Test Corpus with Bonsai FuzzingTechnical Track Technical Track Vasudev Vikram University of California, Berkeley, Rohan Padhye Carnegie Mellon University, Koushik Sen University of California, Berkeley Pre-print Media Attached |