@dblp

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.

, , and . Protocol Test Systems, volume C-3 of IFIP Transactions, page 195-206. North-Holland, (1991)

Description

dblp

Links and resources

Tags