4079 search results - page 301 / 816 » Differential Testing for Software |
121
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Information retrieval experimentation generally proceeds in a cycle of development, evaluation, and hypothesis testing. Ideally, the evaluation and testing phases should be short ...
161
click to vote
FMICS
2006
Springer
15 years 8 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...
131
click to vote
EGOV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
138
click to vote
VLSID
2009
IEEE
16 years 5 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
117
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...