197 search results - page 16 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
123
click to vote
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
113
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
119
click to vote
INFSOF
2007
15 years 9 days ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
98
Voted
MTDT
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract: The high complexity of the faulty behavior observed in DRAMs is caused primarily by the presence of internal floating nodes in defective DRAMs. This paper describes a ne...
119
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...