Derivation of Test Cases for LAP-B from a LOTOS Specification.

Djaffar Gueraichi, Luigi Logrippo

Browse the full FORTE paper archive.