Amit M. Paradkar Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems. 1110-1117 2003 conf/sac/2003 SAC db/conf/sac/sac2003.html#Paradkar03 https://doi.org/10.1145/952532.952749