A Semantic Framework for Program Debugging.

Published in: SCSS (2013)

Keyphrases

decision making
image sequences
main contribution
semantic representation
knowledge base
data model
context dependent
semantic analysis
semantic knowledge