325 search results - page 36 / 65 » Focused iterative testing: a test automation case study |
JAR
2008
13 years 9 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
The problem of transfer learning, where information gained in one learning task is used to improve performance in another related task, is an important new area of research. While...