Automatic Testing from Formal Specifications.

Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh

Browse the full TAP paper archive.