16404 search results - page 115 / 3281 » A set coverage problem |
146
click to vote
IWPEC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
119
Voted
ISMVL
2009
IEEE
15 years 9 months ago
2009
IEEE
Using concepts from rough set theory we investigate the existence of approximative descriptions of collections of objects that can be extracted from data sets, a problem of intere...
118
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
140
click to vote
JIPS
2010
14 years 10 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
122
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...