ACTA
2007
13 years 4 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
PTS
2007
13 years 5 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...