![](/img/cover-not-exists.png)
A framework and tool support for the systematic testing of model-based specifications
Miller, Tim, Strooper, PaulVolume:
12
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/990010.990012
Date:
October, 2003
File:
PDF, 378 KB
english, 2003