Searching for "Test generation and minimization with "basic" statecharts." – sorted by Relevance.
354,487 documents found, showing 1 through 10.
Next 10 →
-
On the Semantics of Statecharts
- … of this report is organised as follows: in section 2, a brief introduction to statecharts, describing its basic…
- Cited by 2 (0 self) – Add To MetaCart
-
Equivalences of Statecharts
- …. The algebra SA of (statechart) terms is dened as follows: 1. p = [n : ;; ;] is a term for every n 2 N (basic…
- Cited by 33 (4 self) – Add To MetaCart
-
Equivalences of Statecharts
- … of signals. Following [9], statecharts are formally represented by terms. Terms are constructed from basic…
- Add To MetaCart
-
Priorities in Statecharts
- …Priorities in Statecharts ? Andrea Maggiolo-Schettini, Massimo Merro Dipartimento di Informatica…
- Add To MetaCart
-
A Process Language for Statecharts
- … in the set of basic actions and in some operations over actions, other semantics of statecharts can…
- Cited by 8 (2 self) – Add To MetaCart
-
Equivalence Transformations on Statecharts
- … of statecharts together with a sound and complete axiomatization ffl a complete set of basic schema…
- Cited by 3 (0 self) – Add To MetaCart
-
Compositional Verification of Timed Statecharts
- … can be constrained between a minimal and maximal delay and it is parametric in the set of basic…
- Cited by 2 (1 self) – Add To MetaCart
-
The STATEMATE Semantics of Statecharts
- … in operation in driving the simulation, dynamic tests, and code generation tDols of STATEMATE since 1987, and a…
- Cited by 460 (7 self) – Add To MetaCart
-
Towards an Automatic Integration of Statecharts
- … state target state guard event book on loan book on stock Fig. 1. The basic elements of statecharts A…
- Cited by 3 (1 self) – Add To MetaCart
-
Statecharts, Transition Structures and Transformations
- … provide a basic representation of a statechart in terms of its set of transitions, a relation of causality…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
