3090 search results - page 127 / 618 » On Testing Answer-Set Programs |
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
118
click to vote
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
156
click to vote
DFT
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a new compression/decompression methodology for using an embedded processor to test the other components of a system-on-a-chip (SoC). The deterministic test v...
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
127
click to vote
JMLR
2012
13 years 4 months ago
2012
The problem of curve registration appears in many different areas of applications ranging from neuroscience to road traffic modeling. In the present work, we propose a nonparamet...