Formal modelling and verification on Android platform

• Main Author: Lim, Jolene Yu Han
• Other Authors: School of Computer Engineering
• Format: Final Year Project
• Language: English
• Published: 2014
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: http://hdl.handle.net/10356/59248
• Institution: Nanyang Technological University

Today’s mobile applications deliver complex functionalities on the Google’s Android platform. This underscores the growing need for automated testing techniques, so as to ensure quality of the mobile applications. By conducting an exhaustive exploration of the state system of an application, automat...