Tue 25 Jun 2019 10:00 - 10:20 at 229AB - Bug Finding & Testing II Chair(s): Jens Palsberg

To be effective, software test generation needs to well cover the space of possible inputs. Traditional \emph{fuzzing} generates large numbers of random inputs, which however are unlikely to contain keywords and other specific inputs of non-trivial input languages. \emph{Constraint-based test generation} solves conditions of paths leading to uncovered code, but fails on programs with complex input conditions because of path explosion.
In this paper, we present a test generation technique specifically directed at \emph{input parsers.} We systematically produce inputs for the parser and track comparisons made; after every rejection, we satisfy the comparisons leading to rejection. This approach effectively covers the input space: Evaluated on five subjects, from CSV files to JavaScript, our \textsc{pFuzzer} prototype covers more tokens than both random-based and constraint-based approaches, while requiring no symbolic analysis and far fewer tests than random fuzzers.

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

10:00 - 11:00
Bug Finding & Testing IIPLDI Research Papers at 229AB
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
10:00
20m
Talk
Parser-Directed Fuzzing
PLDI Research Papers
Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Michaël Mera CISPA, Germany, Alexander Kampmann CISPA Helmholtz Center for Information Security, Matthias Höschele CISPA, Germany, Andreas Zeller Saarland University
Media Attached
10:20
20m
Talk
Continuously Reasoning about Programs using Differential Bayesian Inference
PLDI Research Papers
Kihong Heo University of Pennsylvania, USA, Mukund Raghothaman University of Pennsylvania, USA, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania
Media Attached
10:40
20m
Talk
Sparse Record and Replay with Controlled Scheduling
PLDI Research Papers
Christopher Lidbury Imperial College London, Alastair F. Donaldson Google and Imperial College London