@inproceedings{SAC-2003-Paradkar,
	author        = "Amit M. Paradkar",
	booktitle     = "{Proceedings of the 18th Symposium on Applied Computing}",
	pages         = "1110--1117",
	publisher     = "{ACM}",
	title         = "{Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems}",
	year          = 2003,
}