Statement-Coverage Testing for Nondeterministic Concurrent Programs.

Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin

Browse the full TASE paper archive.