210 search results - page 11 / 42 » On testing UML statecharts |
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
LCTRTS
2004
Springer
14 years 3 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
IIWAS
2008
13 years 11 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
FM
1998
Springer
14 years 2 months ago
1998
Springer
ASE
2006
13 years 10 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...