89 search results - page 7 / 18 » Specification Coverage for Testing in Circus |
100
click to vote
COMPSAC
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
103
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
DAC
2002
ACM
16 years 20 days ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
ECAI
2010
Springer
15 years 24 days ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...