Explaining abstract counterexamples.

Sagar Chaki Alex Groce Ofer Strichman

Published in: SIGSOFT FSE (2004)

Keyphrases

genetic algorithm
high level
higher level
database
knowledge base
reinforcement learning
video sequences
preprocessing
special case
management system
generating explanations