204 search results - page 5 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
103
click to vote
APPROX
2008
Springer
15 years 11 days ago
2008
Springer
We consider the variant of the minimum vertex cover problem in which we require that the cover induces a connected subgraph. We give new approximation results for this problem in d...
118
click to vote
AMOST
2007
ACM
15 years 2 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
113
click to vote
AMOST
2007
ACM
15 years 2 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
104
click to vote
ASE
2004
14 years 10 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
84
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
The importance of testing approaches that exploit error tolerance to improve yield has previously been established. Error rate, defined as the percentage of vectors for which the...