Test-Sequence Generation from Formal Requirement Models.

Sanjai Rayadurgam Mats Per Erik Heimdahl

Published in: HASE (2001)

Keyphrases

prior knowledge
probabilistic model
databases
data mining
computer vision
video sequences
reactive systems
database
real time
search engine
machine learning algorithms
experimental data
statistical models
parametric models
formal models