Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 15:30 - 15:52 at Regency A - Testing Chair(s): Christian Hammer

Developing a small but useful set of inputs for tests is challenging.
We show that a domain-specific language backed by a constraint solver can help the programmer with this process.
The solver can generate a set of test inputs and guarantee
that each input is \emph{different} from other inputs in a way that is useful for testing.

This paper presents Iorek: a tool that empowers the programmer with the ability to express
to any SMT solver what it means for inputs to be different. The core of Iorek is a rich language for
constraining the set of inputs, which includes a novel bounded enumeration
mechanism that makes it easy to define and encode a flexible notion of difference over a recursive structure.
We demonstrate the flexibility of this mechanism for generating strings.

We use Iorek to test real services and find that it is effective at finding bugs.
We also build Iorek into a random testing tool and show that it increases coverage.

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

15:30 - 17:22
TestingOOPSLA at Regency A
Chair(s): Christian HammerUniversity of Potsdam
15:30
22m
Talk
A Solver-Aided Language for Test Input Generation
OOPSLA
Talia RingerUniversity of Washington, Dan GrossmanUniversity of Washington, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n.
DOI
15:52
22m
Talk
Automated Testing of Graphics Shader Compilers
OOPSLA
Alastair F. DonaldsonImperial College London, Hugues EvrardImperial College London, UK, Andrei LascuImperial College London, Paul ThomsonImperial College London
DOI
16:14
22m
Talk
Bounded Exhaustive Test-Input Generation on GPUs
OOPSLA
Ahmet CelikUniversity of Texas at Austin, USA, Sreepathi PaiUniversity of Rochester, Sarfraz KhurshidUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin
DOI
16:37
22m
Talk
Transforming Programs and Tests in Tandem for Fault Localization
OOPSLA
Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang
DOI
16:59
22m
Talk
Type Test Scripts for TypeScript Testing
OOPSLA
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
DOI