Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers | IEEE Conference Publication | IEEE Xplore