51 search results - page 1 / 11 » Coverage Criteria for Logical Expressions |
ISSRE
2003
IEEE
13 years 10 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
SIGMOD
2011
ACM
12 years 7 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
ICSM
2007
IEEE
13 years 11 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
SE
2008
13 years 6 months ago
2008
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....