Sciweavers

Share
CALCO
2007
Springer

Specification-Based Testing for CoCasl's Modal Specifications

11 years 9 months ago
Specification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specification language.
Delphine Longuet, Marc Aiguier
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where CALCO
Authors Delphine Longuet, Marc Aiguier
Comments (0)
books