Automatic Multi-Thread Code Generation for Monitoring Signature-based Control Flow.

Kiho Choi Hyeongrae Kim Daejin Park Jeonghun Cho

Published in: ICAIIC (2019)

Keyphrases

control flow
code generation
modeling language
data flow
software testing
process model
code generator
software development
application development
model driven
rapid prototyping
artificial intelligence
open source
formal specification
formal semantics
business process models