3 search results - page 1 / 1 » iee 2010 |
IEE
2010
13 years 3 months ago
2010
IEE
2010
13 years 3 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
IEE
2010
13 years 3 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...