@article{SAC-J-2003-Paradkar04,
	author        = "Amit M. Paradkar",
	doi           = "10.1016/j.infsof.2003.09.005",
	journal       = "{Information & Software Technology}",
	number        = 5,
	pages         = "315--322",
	title         = "{Towards model-based generation of self-priming and self-checking conformance tests for interactive system}",
	volume        = 46,
	year          = 2004,
}