6014 search results - page 12 / 1203 » Structural Testing with Use Cases |
B
1998
Springer
14 years 2 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Software testing and retesting occurs continuously during the software development lifecycle to detect errors as early as possible. The sizes of test suites grow as software evolv...
FATES
2003
Springer
14 years 3 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
IWANN
2009
Springer
14 years 4 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...