21 search results - page 2 / 5 » Abstraction in Assertion-Based Test Oracles |
CBSE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
FORTEST
2008
13 years 7 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
CADE
2012
Springer
11 years 8 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
FASE
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
STACS
2010
Springer
14 years 22 days ago
2010
Springer
Abstract. Suppose one has access to oracles generating samples from two unknown probability distributions p and q on some N-element set. How many samples does one need to test whet...