6704 search results - page 113 / 1341 » Testing Scenario-Based Models |
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper deals with Hybrid multisite testing of VLSI chips by utilizing automatic test equipment (ATE) in connection with built-in self-test (BIST). The performance of a multisi...
108
click to vote
ICIC
2007
Springer
15 years 8 months ago
2007
Springer
Driven by new regulations and animal welfare, the need to develop in silico models has increased recently as alternative approaches to safety assessment of chemicals without animal...
127
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
115
click to vote
HAPTICS
2010
IEEE
15 years 7 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
112
click to vote
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...