Specification and Testing Using Generalised Machines: A Presentation and a Case Study.

Florentin Ipate Mike Holcombe

Published in: Softw. Test. Verification Reliab. (1998)

Keyphrases

test case generation
formal verification
multimedia
test cases
high level
case study
formal methods
formal specification
test bed
relational databases
code generation
test set
object oriented
real time
search algorithm
learning environment
training data
real world
neural network