Automatic generation of tests from Statechart specifications

S Burton, John Andrew Clark, John Alexander McDermid

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2001

Bibliographical note

Paper given at Formal Approaches to Testing of Software FATES’01.

Access to Document

http://www-users.cs.york.ac.uk/~jac/PublishedPapers/BurtonFATES2001proceedings.pdf#41

Cite this