7766 search results - page 126 / 1554 » Testing Nondeterminate Systems |
146
Voted
FM
2009
Springer
15 years 11 days 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...
135
Voted
SEUS
2007
IEEE
15 years 9 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...
122
Voted
GLVLSI
2008
IEEE
15 years 9 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...
117
click to vote
HASE
1998
IEEE
15 years 6 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 ...
114
click to vote
FATES
2004
Springer
15 years 6 months 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...