32 search results - page 7 / 7 » Coverage Directed Generation of System-Level Test Cases for ... |
FMICS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
SEMWEB
2004
Springer
13 years 11 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...