1173 search results - page 31 / 235 » Filtering Test Models to Support Incremental Testing |
QSIC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. We propose the use of a particle filter as a solution to the rigid shapebased registration problem commonly found in computer-assisted surgery. This approach is especiall...
AIA
2007
13 years 9 months ago
2007
In this paper we propose the Local Credibility Concept (LCC), a novel technique for incremental classifiers. It measures the classification rate of the classifier’s local mod...