2026 search results - page 27 / 406 » Tools for Test Case Generation |
103
click to vote
FLAIRS
2007
15 years 4 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
129
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
124
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
110
click to vote
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...