7766 search results - page 126 / 1554 » Testing Nondeterminate Systems |
FM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
SEUS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
GLVLSI
2008
IEEE
14 years 3 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...
FATES
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...