Using Spin to Generate Testsfrom ASM Specifications.

Angelo Gargantini Elvinia Riccobene Salvatore Rinzivillo

Published in: Abstract State Machines (2003)

Keyphrases

feature extraction
formal specification
automatically generating
real time
generation method
databases
real world
image segmentation
high level
multiscale
multiresolution
active shape model
functional requirements