442 search results - page 35 / 89 » Combining test case generation for component and integration... |
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
80
Voted
ICFEM
2005
Springer
15 years 3 months 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...
DFT
2003
IEEE
15 years 3 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...