309 search results - page 12 / 62 » A Comparative Revisitation of Some Program Transformation Te... |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
MICS
2008
13 years 8 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
SLP
1997
13 years 10 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
ICPR
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, a method to automatically extract the main information from a long-term electrocardiographic signal is presented. This method is based on techniques of pattern reco...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...