Improving the Android development lifecycle with the VALERA record-and-replay approach.

Yongjian Hu Tanzirul Azim Iulian Neamtiu

Published in: MobileDeLi (2015)

Keyphrases

development lifecycle
software development
formal methods
security requirements
database
data records
databases
neural network
machine learning
information systems
e learning
case study
information technology
mobile devices