Simple dynamic assertions for interactive program validation.

Christer Hulten

Published in: AFIPS National Computer Conference (1984)

Keyphrases

knowledge base
data sets
databases
genetic algorithm
interactive systems
artificial intelligence
database systems
computer science
user friendly
dynamically changing
dynamic analysis
search based software testing