3090 search results - page 63 / 618 » On Testing Answer-Set Programs |
141
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
183
click to vote
ISOOMS
1994
15 years 8 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
135
click to vote
ADAEUROPE
1997
Springer
15 years 8 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
150
click to vote
WCE
2007
15 years 5 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
137
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...