2 Hits in 0.84 sec

Specification-Based Testing for CoCasl's Modal Specifications [chapter]

Delphine Longuet, Marc Aiguier
Algebra and Coalgebra in Computer Science  
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  ...  Selection Criteria Based on Axiom Unfolding In this section, we study the problem of test case selection for quantifier-free modal CoCasl specifications, by adapting a selection criteria based on unfolding  ... 
doi:10.1007/978-3-540-73859-6_24 dblp:conf/calco/LonguetA07 fatcat:7ivq6xle4vd5va3e7tv3epejzq

Iterative Circular Coinduction for CoCasl in Isabelle/HOL [chapter]

Daniel Hausmann, Till Mossakowski, Lutz Schröder
2005 Lecture Notes in Computer Science  
Based on this result, we design and implement tactics for the theorem prover Isabelle which allow for both automatic and semiautomatic coinductive proofs.  ...  As part of an effort to provide proof support for the algebraic-coalgebraic specification language CoCasl, we develop a new coinductive proof strategy which iteratively constructs a bisimulation relation  ...  for collaboration on CoCasl.  ... 
doi:10.1007/978-3-540-31984-9_26 fatcat:qqbv2cgz3vbyzjijm65qh2hn7y