3090 search results - page 63 / 618 » On Testing Answer-Set Programs |
ISSTA
2006
ACM
14 years 3 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...
ISOOMS
1994
14 years 2 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...
ADAEUROPE
1997
Springer
14 years 2 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...
WCE
2007
13 years 11 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...
SIGSOFT
2005
ACM
14 years 10 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...