VC generation for functional behavior and non-interference of iterators.

Bart Jacobs Frank Piessens Wolfram Schulte

Published in: SAVCBS@FSE (2006)

Keyphrases

information retrieval
genetic algorithm
data sets
computer vision
multipath
dynamic behavior
control structure