Reachability testing: an approach to testing concurrent software.

Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang

Browse the full APSEC paper archive.