Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.

W. Eric Wong, Yu Lei, Xiao Ma

Browse the full ICECCS paper archive.