A Case Study in Specification and Implementation Testing.

Tim Miller Paul A. Strooper

Published in: APSEC (2004)

Keyphrases

specification language
efficient implementation
test bed
implementation details
case study
high level
formal verification
code generation
genetic algorithm
test set
formal specification
test case generation
neural network
computer vision
multi agent