3090 search results - page 107 / 618 » On Testing Answer-Set Programs |
111
Voted
STOC
1991
ACM
15 years 5 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
113
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
136
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
97
Voted
ACISICIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
117
Voted
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...