6014 search results - page 66 / 1203 » Structural Testing with Use Cases |
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
STVR
2002
13 years 9 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
FORTE
2004
13 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
TEC
2008
13 years 10 months ago
2008
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...
SE
2007
13 years 11 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...