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.
Abstract is missing.