Reachability Testing of Semaphore-Based Programs.

Yu Lei, Richard H. Carver

Browse the full COMPSAC paper archive.