A major draw of any smartphone is its
ability to run applications, thus users are increasingly relying
on smartphones for computing needs, rather than using
laptops or desktops. This leads to an increasing impetus for
ensuring the reliability of mobile applications. Reliability
is particularly important for sensitive mobile applications
such as online banking, business management, health care,
or military domains.