5159 search results - page 94 / 1032 » Structural Testing of Executables |
168
click to vote
FORTEST
2008
15 years 4 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
114
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
136
Voted
IIE
2007
15 years 2 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
116
click to vote
GCB
2001
Springer
15 years 7 months ago
2001
Springer
: We derive an approximate Bayesian hypothesis test to discriminate between alternative mosaic structures of DNA sequence alignments, and test the viability of this approach on a s...
112
Voted
JSA
2000
15 years 2 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...