Model based testing with logical properties versus state machines

DOI10.1007/978-3-642-34407-7_8MaRDI QIDQ2830050zbMATH OpenOpenAlexFDO

Authors Pieter Koopman, Peter Achten, Rinus Plasmeijer

Publication date 9 November 2016

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-34407-7_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Specification for Testing
• FM 2005: Formal Methods
• Model-based testing of reactive systems. Advanced lectures.
• Model-based testing
• scientific article; zbMATH DE number 1951206

Cited in

(1)

• Exhaustive property oriented model-based testing with symbolic finite state machines

Describes a project that uses

Uses Software

• SmallCheck
• EasyCheck
• QuickCheck

This page was built for publication: Model based testing with logical properties versus state machines

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