@inproceedings{3a86fb6514f941128f5ee0362b7a1a33,
title = "Statement-coverage testing for nondeterministic concurrent programs",
abstract = "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.",
keywords = "Concurrent programs, Symbolic execution",
author = "Hwang, {Gwan Hwan} and Lin, {Heng Yi} and Lin, {Shao Yan} and Lin, {Che Sheng}",
year = "2012",
doi = "10.1109/TASE.2012.21",
language = "English",
isbn = "9780769547510",
series = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
pages = "263--266",
booktitle = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
note = "IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 ; Conference date: 04-07-2012 Through 06-07-2012",
}