Coverage Based Testing for Concurrent Software | IEEE Conference Publication | IEEE Xplore