Specifying and detecting meaningful changes in programs.

Yijun Yu Thein Than Tun Bashar Nuseibeh

Published in: ASE (2011)

Keyphrases

case study
answer sets
neural network
genetic algorithm
learning algorithm
computer vision
video sequences
automatic detection
control program