A New Algorithm for Reachability Testing of Concurrent Programs.

Yu Lei, Richard H. Carver

Browse the full ISSRE paper archive.