Extrapolate: generalizing counterexamples of functional test properties

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)



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
  • Accepted: 31 January 2018
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: 04 Feb 2024 00:19
Status: In Press
Publisher: ACM
Refereed: No


Filename: extrapolate_v3.3_camera_ready.pdf

Description: extrapolate-v3.3-camera-ready