Software Testing and Metrics for Concurrent Computation.

Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo

Browse the full APSEC paper archive.