Testing in functional programming

MaRDI QIDQ3509841zbMATH OpenFDO

Authors Manfred Widera

Publication date 25 June 2008

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-7056-8

zbMATH Keywords

automatic testing of functional programsErlangstructural testing of functional programs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18)

Recommendations

• Fully Automatic Testing with Functions as Specifications
• Testing and tracing lazy functional programs using QuickCheck and Hat
• Automatic Testing of Higher Order Functions
• CurryCheck: checking properties of Curry programs
• Functional Testing in the Focal Environment

Cited in

(5)

• Functional Level Primitives in Test Generation
• Parameterized property testing of functions
• Fully Automatic Testing with Functions as Specifications
• Automatic Testing of Higher Order Functions
• Testing and tracing lazy functional programs using QuickCheck and Hat

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: Testing in functional programming

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