Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (Accepted: 2018) Extrapolate: generalizing counterexamples of functional test properties. In: IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. ACM , New York (In Press)
Abstract
This paper presents a new tool called Extrapolate that automatically generalizes counterexamples found by property-based testing in Haskell. Example applications show that generalized counterexamples can inform the programmer more fully and more immediately what characterises failures. Extrapolate is able to produce more general results than similar tools. Although it is intrinsically unsound, as reported generalizations are based on testing, it works well for examples drawn from previous published work in this area.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2017 Copyright held by the owner⁄author(s). This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details |
Keywords: | enumerative property-based testing, systematic testing, functional programming, Haskell |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 11 Apr 2018 08:20 |
Last Modified: | 21 Jan 2025 18:23 |
Status: | In Press |
Publisher: | ACM |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:129498 |
Download
Filename: extrapolate_v3.3_camera_ready.pdf
Description: extrapolate-v3.3-camera-ready