Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus)