Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Wed 26 May 2021 16:05 - 16:25 at Blended Sessions Room 1 - 2.4.1. Fuzzing Chair(s): Hakan Erdogmus
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 May

Displayed 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
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
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
20m
Paper
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
20m
Paper
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 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

04:05 - 05:05
04:05
20m
Paper
Input AlgebrasArtifact ReusableTechnical TrackArtifact Available
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
20m
Paper
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
20m
Paper
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