6941 search results - page 413 / 1389 » Testing as a Certification Approach |
161
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
201
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
170
click to vote
INFOSCALE
2006
ACM
16 years 23 days ago
2006
ACM
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...
170
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
168
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
: Accurate diagnosis is an essential requirement in many testing environments, since it is the basis for any repair or replacement strategy used for chip or system fault-tolerance....