Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Extrapolate: Generalizing counterexamples of functional test properties
University of York, UK.ORCID iD: 0000-0001-5302-7096
University of York, UK.
2017 (English)In: Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages, ACM Digital Library, 2017Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
ACM Digital Library, 2017.
Keywords [en]
enumerative property-based testing, Haskell, functional programming, systematic testing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63320DOI: 10.1145/3205368.3205371ISBN: 978-1-4503-6343-3 (electronic)OAI: oai:DiVA.org:hj-63320DiVA, id: diva2:1826777
Conference
29th Symposium on the Implementation and Application of Functional Programming Languages, August 30-September 1, 2017, Bristol, United Kingdom
Available from: 2024-01-12 Created: 2024-01-12 Last updated: 2024-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Braquehais, Rudy

Search in DiVA

By author/editor
Braquehais, Rudy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf