@conference {12781, title = {Infinite Probabilistic and Nonprobabilistic Testing*}, booktitle = {Foundations of software technology and theoretical computer science: 18th Conference, Chennai, India, December 17-19, 1998: proceedings}, year = {1998}, month = {1998///}, pages = {209 - 209}, author = {Kumar,K. N and Cleaveland, Rance and Smolka,S. A} }