Taking into account indirect jumps or calls in continuous control-flow checking.

Lydie Terras Yannick Teglia Michel Agoyan Régis Leveugle

Published in: IDT (2016)

Keyphrases

control flow
data flow
software testing
process model
markov chain
transition systems
business process models
reactive systems
workflow management systems
knowledge base
cooperative
software engineering