4930 search results - page 167 / 986 » Testing a Safety-Critical Application |
167
click to vote
ISESE
2006
IEEE
16 years 15 days ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
149
click to vote
ASM
2005
ASM
16 years 1 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
158
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
181
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...
168
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper looks at the nonparametric, multiscale, Markov Random Field (MRF) model and its application in classifying the MeasTex Test Suite. The MeasTex Test Suite is a standard ...