Vertx: Automated Validation of Binary Transformations.

Denis Gopan Peter Ohmann David Melski

Published in: FEAST@CCS (2017)

Keyphrases

semi automated
non binary
database
image analysis
data driven
context sensitive
databases
learning algorithm
database systems
learning environment
fully automatic
computer assisted