Infinite probabilistic and nonprobabilistic testing (1998)

by K Narayan Kumar, R Cleaveland, S A Smolka
Venue:Foundations of Software Technology and Theoretical Computer Science