By the same authors

Extrapolate: generalizing counterexamples of functional test properties

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Extrapolate: generalizing counterexamples of functional test properties. / Braquehais, Rudy; Runciman, Colin.

IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York : ASSOC COMPUTING MACHINERY, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Braquehais, R & Runciman, C 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.

APA

Braquehais, R., & Runciman, C. (Accepted/In press). Extrapolate: generalizing counterexamples of functional test properties. In IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages ASSOC COMPUTING MACHINERY.

Vancouver

Braquehais R, Runciman C. Extrapolate: generalizing counterexamples of functional test properties. In IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY. 2018

Author

Braquehais, Rudy ; Runciman, Colin. / Extrapolate: generalizing counterexamples of functional test properties. IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York : ASSOC COMPUTING MACHINERY, 2018.

Bibtex - Download

@inproceedings{15fae09ad5ae4212b00d7aa25e752ed8,
title = "Extrapolate: generalizing counterexamples of functional test properties",
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.",
keywords = "enumerative property-based testing, systematic testing, functional programming, Haskell",
author = "Rudy Braquehais and Colin Runciman",
note = "{\textcopyright} 2017 Copyright held by the owner⁄author(s). This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details",
year = "2018",
month = jan,
day = "31",
language = "English",
isbn = "978-1-4503-6343-3",
booktitle = "IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages",
publisher = "ASSOC COMPUTING MACHINERY",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Extrapolate: generalizing counterexamples of functional test properties

AU - Braquehais, Rudy

AU - Runciman, Colin

N1 - © 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

PY - 2018/1/31

Y1 - 2018/1/31

N2 - 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.

AB - 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.

KW - enumerative property-based testing, systematic testing, functional programming, Haskell

M3 - Conference contribution

SN - 978-1-4503-6343-3

BT - IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages

PB - ASSOC COMPUTING MACHINERY

CY - New York

ER -