Automatic Testing of Higher Order Functions

DOI10.1007/11924661_9MaRDI QIDQ5385593zbMATH OpenOpenAlexFDO

Authors Pieter Koopman, Rinus Plasmeijer

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/36061

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Sound and complete concolic testing for higher-order functions
• Testing and tracing lazy functional programs using QuickCheck and Hat
• Fully Automatic Testing with Functions as Specifications
• Testing in functional programming
• Smart testing of functional programs in Isabelle

Cited in

(4)

• Testing in functional programming
• Sound and complete concolic testing for higher-order functions
• Testing and tracing lazy functional programs using QuickCheck and Hat
• Fully Automatic Testing with Functions as Specifications

This page was built for publication: Automatic Testing of Higher Order Functions

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