Statement-coverage testing for nondeterministic concurrent programs

Gwan-Hwan Hwang, Heng Yi Lin, Shao Yan Lin, Che Sheng Lin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Pages263-266
Number of pages4
DOIs
Publication statusPublished - 2012 Oct 5
EventIEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 - Beijing, China
Duration: 2012 Jul 42012 Jul 6

Publication series

NameProceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

Other

OtherIEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
CountryChina
CityBeijing
Period12/7/412/7/6

Keywords

  • Concurrent programs
  • Symbolic execution

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Statement-coverage testing for nondeterministic concurrent programs'. Together they form a unique fingerprint.

  • Cite this

    Hwang, G-H., Lin, H. Y., Lin, S. Y., & Lin, C. S. (2012). Statement-coverage testing for nondeterministic concurrent programs. In Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 (pp. 263-266). [6269657] (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012). https://doi.org/10.1109/TASE.2012.21