Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software | IEEE Conference Publication | IEEE Xplore