8 search results - page 1 / 2 » The effect of program and model structure on mc dc test adeq... |
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
ISSTA
2006
ACM
14 years 5 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
UTP
2010
13 years 8 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...