3090 search results - page 115 / 618 » On Testing Answer-Set Programs |
114
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
154
Voted
SBCCI
2005
ACM
15 years 7 months ago
2005
ACM
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
122
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
ITC
1991
IEEE
15 years 5 months ago
1991
IEEE
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
123
click to vote
ET
2002
15 years 2 months ago
2002
Abstract. A novel approach for using an embedded processor to aid in deterministic testing of the other components of a system-on-a-chip (SOC) is presented. The tester loads a prog...