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