39 search results - page 4 / 8 » Generating Test Plans for Acceptance Tests from UML Activity... |
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
PTS
2008
13 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
KBSE
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
INFSOF
2007
13 years 5 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
ICMT
2009
Springer
14 years 9 days ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...