Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses.

Mariem Graa Nora Cuppens-Boulahia Frédéric Cuppens Ana R. Cavalli

Published in: CSS (2012)

Keyphrases

control flow
data flow
process model
software testing
transition systems
knowledge base
relational databases
modeling language
reactive systems
business process models