Static Code Verification Through Process Models.

Sebastiaan J. C. Joosten Marieke Huisman

Published in: ISoLA (3) (2018)

Keyphrases

process model
code generator
process mining
control flow
business process
business processes
source code
software process
model checking
event logs
code generation
byte code
petri net
automatically generated
business process models
neural network
dynamic behaviors
machine learning