Specification for Testing.

Chris George Padmanabhan Krishnan Percy Antonio Pari Salas Jeff W. Sanders

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

formal verification
test case generation
high level
genetic algorithm
image segmentation
specification language
reactive systems
information systems
database systems
search algorithm
multiresolution
probabilistic model
model checking
formal specification