3547 search results - page 274 / 710 » Pseudo-Exhaustive Testing for Software |
178
click to vote
ISESE
2003
IEEE
16 years 21 days ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
186
click to vote
ETS
2007
IEEE
15 years 9 months ago
2007
IEEE
Software-Based Self-Test (SBST) has emerged as an effective strategy for on-line testing of processors integrated in non-safety critical embedded system applications. Among the mo...
223
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
178
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
208
click to vote
ATVA
2009
Springer
16 years 2 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...