Fully Automatic Testing with Functions as Specifications

DOI10.1007/11894100_2MaRDI QIDQ5302887zbMATH OpenOpenAlexFDO

Authors Pieter Koopman, Rinus Plasmeijer

Publication date 15 January 2009

Published in Central European Functional Programming School (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11894100_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Testing in functional programming
• Automatic Testing from Formal Specifications
• Specification for Testing
• Automatic Testing of Higher Order Functions
• scientific article; zbMATH DE number 1706341

Cited in

(7)

• Improving efficiency of automated functional testing in agile projects
• Improving quality of software analyser and transformer tools using specification based testing
• Testing in functional programming
• Analytical Inductive Functional Programming
• Quick specifications for the busy programmer
• Automatic Testing of Higher Order Functions
• Functional Testing in the Focal Environment

Describes a project that uses

Uses Software

• Uppaal
• QuickCheck

This page was built for publication: Fully Automatic Testing with Functions as Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302887)