5855 search results - page 81 / 1171 » Test generation and minimization with |
127
click to vote
FUIN
2007
15 years 1 months ago
2007
Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively few efforts ...
121
click to vote
TSE
2010
14 years 8 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
152
click to vote
VLSID
2010
IEEE
14 years 11 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...
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
A new approach for sequential circuit test generation is proposed that combines software testing based techniques at the high level with test enhancement techniques at the gate le...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...