1192 search results - page 49 / 239 » Variation-Aware Fault Modeling |
118
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
107
click to vote
FDTC
2007
Springer
15 years 9 months ago
2007
Springer
We present a novel non-linear error coding framework which incorporates strong adversarial fault detection capabilities into identity based encryption schemes built using Tate pai...
130
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
122
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
119
click to vote
ITC
1994
IEEE
15 years 7 months ago
1994
IEEE
: The IC test industry has struggled .for more than 30years to establish a test approach that would guarantee a low defect level to the customer. Wepropose a comprehensive strategy...