6800 search results - page 190 / 1360 » Testing with Functions as Specifications |
COMPUTING
2006
13 years 9 months ago
2006
We study cubature formulas on relatively small scattered samples in the unit square, obtained by integrating radial basis function (RBF) interpolants. Numerical tests show that, d...
MOC
1998
13 years 9 months ago
1998
Abstract. We discuss the numerical evaluation of a symmetric potential function which arises naturally in applications. We present a method designed to accurately and efficiently c...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
INFORMATICALT
2006
13 years 9 months ago
2006
We study single machine scheduling problems, where processing times of the jobs are exponential functions of their start times. For increasing functions, we prove strong NP-hardnes...