2302 search results - page 81 / 461 » Testing as Abstraction |
146
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
125
click to vote
ICRA
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper describes a probabilistic bail-out condition for multihypothesis testing based on Bennett’s inequality. We investigate the use of the test for increasing t...
169
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
152
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
202
click to vote
TVLSI
2008
15 years 5 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...