7167 search results - page 185 / 1434 » A Technique for Invariant Generation |
182
click to vote
DDECS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
194
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
An implicit assumption in psychometrics and educational statistics is that the generative model for student scores on test questions is governed by the topics of those questions an...
165
click to vote
IMR
2005
Springer
16 years 20 days ago
2005
Springer
This paper describes a method for extracting feature edges of a polygonal surface for mesh generation. This method can extract feature edges from a polygonal surface typically cre...
171
click to vote
TABLEAUX
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
165
click to vote
FATES
2004
Springer
16 years 16 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...