A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.

Huo Yan Chen, Yu Xia Sun, T. H. Tse

Browse the full COMPSAC paper archive.