62 search results - page 9 / 13 » Generation of Integration Tests for Self-Testing Components |
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
BMCBI
2005
13 years 7 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
ICFEM
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...