Statement-Coverage Testing for Nondeterministic Concurrent Programs

In this paper we propose a scheme for reach ability testing to obtain statement coverage in the dynamic testing of concurrent programs. The proposed scheme derives inputs from SYN-sequences obtained in reach ability testing and uses these inputs to perform reach ability testing multiple times in order to achieve statement-coverage testing for a concurrent program.