Pramod V. N. Koppol
North Carolina State Univ.
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering