eVolCheck: Incremental Upgrade Checker for C.

Grigory Fedyukovich Ondrej Sery Natasha Sharygina

Published in: TACAS (2013)

Keyphrases

incremental learning
case study
data driven
life cycle
incremental version
image sequences
search algorithm
data analysis
evolutionary algorithm