3090 search results - page 100 / 618 » On Testing Answer-Set Programs |
GI
2001
Springer
15 years 6 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...
135
click to vote
FORTE
1997
15 years 3 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
123
click to vote
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
Semantic validation of the effectiveness of a schema matching system is traditionally performed by comparing system-generated mappings with those of human evaluators. The human ef...
120
click to vote
ECIR
2004
Springer
15 years 3 months ago
2004
Springer
We simulate different architectures of a distributed Information Retrieval system on a very large Web collection, in order to work out the optimal setting for a particular set of r...
124
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...