4930 search results - page 150 / 986 » Testing a Safety-Critical Application |
149
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
165
click to vote
ITC
1997
IEEE
15 years 10 months ago
1997
IEEE
In a fundamental paradigm shift in system design, entire systems are being built on a single chip, using multiple embedded cores. Though the newest system design methodology has s...
150
click to vote
HYBRID
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
169
click to vote
FATES
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
193
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...