Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2017) Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In: Proceedings of the ACM SIGPLAN Haskell Symposium 2017. ASSOC COMPUTING MACHINERY , pp. 40-51.

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: formal specification,property-based testing,Haskell
Dates:
  • Published: 7 September 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 12 Apr 2018 10:00
Last Modified: 22 Aug 2021 10:18
Published Version: https://doi.org/10.1145/3122955.3122961
Status: Published
Publisher: ASSOC COMPUTING MACHINERY
Refereed: No
Identification Number: https://doi.org/10.1145/3122955.3122961

Download

Filename: speculate_v3.0_20170717_camera_ready.pdf

Description: speculate-v3.0-20170717-camera-ready

Share / Export

Statistics