Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 09:25 - 09:50 at Noh Theater - Testing Chair(s): Stephanie Weirich

This paper presents FitSpec, a tool providing automated assistance in the task of refining sets of test properties for Haskell functions. FitSpec tests mutant variations of functions under test against a given property set, recording any surviving mutants that pass all tests. The number of surviving
mutants and any smallest survivor are presented to the user. A surviving mutant indicates incompleteness of the property set, prompting the user to amend a property or to add a new one, making the property set stronger. Based on the same test results, FitSpec also provides conjectures in the form of equivalences and implications between property subsets. These conjectures help the user to identify minimal core subsets of properties and so to reduce the cost of future property-based testing.

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
TestingHaskell at Noh Theater
Chair(s): Stephanie Weirich University of Pennsylvania
09:15
10m
Day opening
Welcome
Haskell

09:25
25m
Talk
FitSpec: Refining Property Sets for Functional Testing
Haskell
DOI
09:50
25m
Talk
QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Haskell
Gustavo Grieco , Martín Ceresa , Pablo Buiras Chalmers University of Technology
DOI