1722 search results - page 65 / 345 » Generating Tests from Counterexamples |
106
click to vote
VLDB
2007
ACM
15 years 3 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
ASYNC
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose a low-overhead method for delay fault testing in high-speed asynchronous pipelines. The key features of our work are: (i) testing strategies can be administered using l...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
ICECCS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...