PathDroid

Android is the primary software platform for mobile, networked devices such as tablets and smartphones. These devices are increasingly used for safety-critical functions that require verification of correct and robust behavior of applications. Such software written for the Android operating system is hard to test because applications are inherently concurrent, applications are usually being driven by asynchronous user input and network events, the application model is not amenable to unit testing, and the availability of sources for many commercial applications is missing. Safety-critical applications require verification by means of systematic exploration of all possible software behaviors. Conventional testing does not guarantee sufficient coverage, especially for concurrent applications.