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

haskellsymp-2016-papers
09:15 - 10:15: Haskell - Testing at Noh Theater
Chair(s): Stephanie WeirichUniversity of Pennsylvania
haskellsymp-2016-papers09:15 - 09:25
Day opening
haskellsymp-2016-papers09:25 - 09:50
Talk
DOI
haskellsymp-2016-papers09:50 - 10:15
Talk
Gustavo Grieco, Martín Ceresa, Pablo BuirasChalmers University of Technology
DOI