TeStor: Deriving Test Sequences from Model-Based Specifications.

Patrizio Pelliccione Henry Muccini Antonio Bucchiarone Fabrizio Facchini

Published in: CBSE (2005)

Keyphrases

test sequences
test cases
bit rate
video sequences
mutation testing
test generation
high level
three dimensional
database systems
error rate
fully unsupervised
specification language
formal specification
database applications
artificial intelligence
image processing
feature selection