Tim Miller, Paul A. Strooper. A framework and tool support for the systematic testing of model-based specifications. ACM Transactions on Software Engineering Methodology, 12(4):409-439, 2003. [doi]
@article{MillerS03:1, title = {A framework and tool support for the systematic testing of model-based specifications}, author = {Tim Miller and Paul A. Strooper}, year = {2003}, doi = {10.1145/990010.990012}, url = {http://doi.acm.org/10.1145/990010.990012}, tags = {rule-based, testing, systematic-approach}, researchr = {https://researchr.org/publication/MillerS03%3A1}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {12}, number = {4}, pages = {409-439}, }