3281 search results - page 320 / 657 » An Approach to use Executable Models for Testing |
172
click to vote
ASSETS
2010
ACM
14 years 11 months ago
2010
ACM
Individuals diagnosed with autism spectrum disorder (ASD) often fixate on narrow, restricted interests. These interests can be highly motivating, but they can also create attentio...
127
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
118
click to vote
ENC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
166
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Modern approaches to speaker recognition (verification) operate in a space of “supervectors” created via concatenation of the mean vectors of a Gaussian mixture model (GMM) a...
180
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...