K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka. Infinite Probabilistic and Nonprobabilistic Testing. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 209-220, Springer, 1998.
@inproceedings{KumarCS98,
title = {Infinite Probabilistic and Nonprobabilistic Testing},
author = {K. Narayan Kumar and Rance Cleaveland and Scott A. Smolka},
year = {1998},
tags = {testing},
researchr = {https://researchr.org/publication/KumarCS98},
cites = {0},
citedby = {0},
pages = {209-220},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
editor = {Vikraman Arvind and Ramaswamy Ramanujam},
volume = {1530},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65384-8},
}