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
Period2012/07/042012/07/06

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