Specification-Based Testing for CoCasl's Modal Specifications.

Delphine Longuet, Marc Aiguier

Browse the full CALCO paper archive.