An Architecture for Interactive Program Provers.

Jörg Meyer Arnd Poetzsch-Heffter

Published in: TACAS (2000)

Keyphrases

search based software testing
user friendly
program execution
highly interactive
expert systems
interactive systems
knowledge representation
object oriented
test cases
database
computer programs
information visualization
graphical interface
three dimensional
decision making
control program
social networks