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
Journal article
T Miller, P Strooper
ACM Transactions on Software Engineering and Methodology | ASSOC COMPUTING MACHINERY | Published : 2003