Dynamically Detecting Relevant Program Invariants.

Published in: ICECCS (2000)

Keyphrases

imperative programs
automatic detection
computer vision
mobile robot
computer programs
program execution
data sets
neural network
information systems
database systems
data structure
pattern recognition
multi agent systems
d objects
programming environment