Statement-Coverage Testing for Nondeterministic Concurrent Programs
Gwan‐Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin · 2012
In this paper we propose a scheme for reachability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reachability testing and uses these inputs to perform reachability testing multiple times in order to achieve statement-coverage testing for a concurrent program.