Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson

Browse the full ICST paper archive.