Specification-Based Testing of Interactive Systems.

Published in: INTERACT (1997)

Keyphrases

interactive systems
human computer interaction
formal verification
test case generation
user interface
test cases
digital entertainment
formal specification
specification language
data sets
neural network
high level
synthetic characters