Control-Flow Checking Using Branch Sequence Signatures.

Liping Liu Linlin Ci Wei Liu Cheng Bin

Published in: iThings/GreenCom/CPSCom/SmartData (2016)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
signature verification
reactive systems
real world
artificial intelligence
knowledge base
knowledge representation
modeling language
formal semantics
business process models
transition systems