Journal article

A framework and tool support for the systematic testing of model-based specifications

T Miller, P Strooper

ACM Transactions on Software Engineering and Methodology | ASSOC COMPUTING MACHINERY | Published : 2003