Interactive Testing with HOL-TestGen.

Achim D. Brucker Burkhart Wolff

Published in: FATES (2005)

Keyphrases

virtual reality
user interaction
search based software testing
product configuration
computer graphics
test cases
real time
information systems
virtual environment
object oriented
video sequences
statistical tests
theorem prover
software testing
real world
interactive video
databases