From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.

Marc Phalippou, Roland Groz

Browse the full FORTE paper archive.