Validation-based test sequence generation for networks of extended finite state machines
Authors:
Samuel Huang;David Lee;Mark Staskauskas
Affiliations:
-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools