212 search results - page 3 / 43 » Test Input Generation Using UML Sequence and State Machines ... |
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
GECCO
2005
Springer
13 years 11 months ago
2005
Springer
DAC
1997
ACM
13 years 9 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
ASE
2010
13 years 5 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
SCESM
2006
ACM
13 years 11 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...