Cobra: fast structural code checking (keynote).

Gerard J. Holzmann

Published in: SPIN (2017)

Keyphrases

key issues
structural information
source code
neural network
knowledge discovery and data mining
code generation
database
information retrieval
high level
software engineering
open source
structural features
java programs
structural models