8 search results - page 1 / 2 » The effect of program and model structure on mc dc test adeq... |
72
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
91
Voted
SIGSOFT
2007
ACM
16 years 1 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...
104
click to vote
ISSTA
2006
ACM
15 years 7 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...
125
Voted
UTP
2010
14 years 11 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...
112
Voted
SAC
2008
ACM
15 years 18 days 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...