68 search results - page 9 / 14 » Generating Trace-Sets for Model-based Testing |
77
Voted
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
93
Voted
ICB
2007
Springer
15 years 4 months ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
103
Voted
DIS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
84
Voted
SFP
2003
14 years 11 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
72
Voted
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...