Verifying android applications using Java PathFinder
Published in ACM SIGSOFT Software Engineering Notes • Nov 27, 2012
NobleIDNI4P19W57R13S89
Authors:,,
Heila van der Merwe
Brink van der Merwe
Willem Visser
Abstract
Mobile application testing is a specialised and complex field. Due to mobile applications' event driven design and mobile runtime environment, there currently exist only a small number of tools to verify these applications. This paper describes the development of JPF-ANDROID, an Android application ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!