2774 search results - page 158 / 555 » Query-Driven Program Testing |
121
click to vote
COR
2008
15 years 1 months ago
2008
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...
127
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
114
Voted
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
119
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
110
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...