TY - CONF T1 - Infinite Probabilistic and Nonprobabilistic Testing⋆ T2 - Foundations of software technology and theoretical computer science: 18th Conference, Chennai, India, December 17-19, 1998: proceedings Y1 - 1998 A1 - Kumar,K. N A1 - Cleaveland, Rance A1 - Smolka,S. A JA - Foundations of software technology and theoretical computer science: 18th Conference, Chennai, India, December 17-19, 1998: proceedings ER -