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

DOI: 10.1145/990010.990012

University of Melbourne Researchers

Timothy Miller Author Computing and Information Systems

Citation metrics

12Web of Science

Keywords

Computer Science

Computer Science, Software Engineering

Science & Technology

Formal Verification

Specification Animation