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. ASSOC COMPUTING MACHINERY , New York . (In Press)

Abstract

Metadata

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:
  • 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: 24 Jun 2021 03:08
Status: In Press
Publisher: ASSOC COMPUTING MACHINERY
Refereed: No

Download

Filename: extrapolate_v3.3_camera_ready.pdf

Description: extrapolate-v3.3-camera-ready

Share / Export