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. © Springer-Verlag Berlin Heidelberg 2007 Specification-based testing, axiom unfolding, coalgebraic specifications, modal logic, CoCASL.
CITATION STYLE
Longuet, D., & Aiguier, M. (2007). Specification-based testing for CoCasL’S modal specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4624 LNCS, pp. 356–371). Springer Verlag. https://doi.org/10.1007/978-3-540-73859-6_24
Mendeley helps you to discover research relevant for your work.