Statement-Coverage Testing for Nondeterministic Concurrent Programs | IEEE Conference Publication | IEEE Xplore