6800 search results - page 294 / 1360 » Testing with Functions as Specifications |
173
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
181
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
209
click to vote
FUIN
2008
15 years 7 months ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
187
click to vote
ITSSA
2006
15 years 7 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
230
click to vote
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...