Login / Signup
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