Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.

Che-Sheng Lin, Gwan-Hwan Hwang

Browse the full TASE paper archive.