An Incremental Approach to Structural Testing of Concurrent Software.

Pramod V. Koppol, Kuo-Chung Tai

Browse the full ISSTA paper archive.