About the Concolic Execution and Symbolic ASM Function Promotion in CASM.

Philipp Paulweber Jakob Moosbrugger Uwe Zdun

Published in: ABZ (2021)

Keyphrases

data sets
case study
high level
active shape model
connectionist models
neural network
computer vision