3547 search results - page 178 / 710 » Pseudo-Exhaustive Testing for Software |
220
click to vote
KBSE
2005
IEEE
16 years 20 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
272
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
323
click to vote
AADEBUG
2005
Springer
16 years 19 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
174
click to vote
FORMATS
2003
Springer
16 years 9 days ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
175
Voted
ISQED
2002
IEEE
16 years 15 hour ago
2002
IEEE
This paper presents a hybrid BIST architecture and methods for optimizing it to test systems-on-chip in a cost effective way. The proposed self-test architecture can be implemente...