Amit M. Paradkar. Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA. pages 1110-1117, ACM, 2003.
@inproceedings{Paradkar03,
title = {Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems},
author = {Amit M. Paradkar},
year = {2003},
tags = {model checking, meta-model, testing, Meta-Environment},
researchr = {https://researchr.org/publication/Paradkar03},
cites = {0},
citedby = {0},
pages = {1110-1117},
booktitle = {Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA},
publisher = {ACM},
}