Assisted Coverage Closure.

Adam Nellis Pascal Kesseli Philippa Ryan Conmy Daniel Kroening Peter Schrammel Michael Tautschnig

Published in: NFM (2016)

Keyphrases

multiscale
artificial intelligence
computer vision
image processing
data structure
cooperative
natural language
multiresolution