Execution and property specifications for JPF-android.

Heila van der Merwe Brink van der Merwe Willem Visser

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

control flow
execution model
code generation
execution traces

mobile devices
real time
data flow
database

genetic algorithm
formal specification
e learning
mobile applications

plan generation
development tools
formal descriptions