50 search results - page 1 / 10 » Debugging and Testing Optimizers through Comparison Checking |
ENTCS
2002
13 years 4 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...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
EON
2008
13 years 6 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
STEP
2003
IEEE
13 years 10 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...