3090 search results - page 112 / 618 » On Testing Answer-Set Programs |
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
131
click to vote
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
101
click to vote
DAC
2005
ACM
15 years 4 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
117
click to vote
ENTCS
2002
15 years 2 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...