1492 search results - page 31 / 299 » Testing Properties of Constraint-Graphs |
166
Voted
VLSID
2010
IEEE
15 years 1 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...
107
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...
126
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
135
click to vote
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
161
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...