Statement-Coverage Testing for Nondeterministic Concurrent Programs. - Gwan-Hwan Hwang; Heng-Yi Lin; Shao-Yan Lin; Che-Sheng Lin (TASE, 2012)

Statement-Coverage Testing for Concurrent Programs in Reachability Testing. - Gwan-Hwan Hwang; Heng-Yi Lin; Shao-Yan Lin; Che-Sheng Lin (J. Inf. Sci. Eng., 2014)