Specifying Callback Control Flow of Mobile Apps Using Finite Automata.

Danilo Dominguez Perez Wei Le

Published in: IEEE Trans. Software Eng. (2021)

Keyphrases

finite automata
control flow
mobile apps
data flow
mobile applications
grammatical inference
mobile devices
regular expressions
business models
software testing
m learning
workflow management systems
process model
mobile learning
smart phones
modeling language
user experience
coverage includes
context aware
database