This paper introduces a new, fully automated modelbased approach for effective testing of
Android apps. Different from existing model-based approaches that guide testing with a …

Android apps demand high-quality test inputs, whose generation remains an open
challenge. Existing techniques fall short on exploring complex app functionalities reachable …

The large demand of mobile devices creates significant concerns about the quality of mobile
applications (apps). Developers heavily rely on bug reports in issue tracking systems to …

Android framework-specific app crashes are hard to debug. Indeed, the callback-based
event-driven mechanism of Android challenges crash localization techniques that are …

Android platform provisions a number of sophisticated concurrency mechanisms for the
development of apps. The concurrency mechanisms, while powerful, are quite difficult to …

Android platform offers a hybrid concurrency model encompassing multi-threading and
asynchronous messaging for concurrent programming. The model is powerful but complex …

Software transactional memory is an effective mechanism to avoid concurrency bugs in multi-
threaded programs. However, two problems hinder the adoption of traditional such systems …

Thread Sharing Analysis (TSA) plays an important role in concurrent program testing.
Providing a TSA to a data race detector may speed up the runtime logging and improve the …

摘要软件自动化是提高软件生产率的根本途径. 由于Android 应用快速迭代的开发模式,
其对于自动化协助应用开发, 尤其是自动化测试, 有很高的需求. 在自动化测试中 …

Multiprocessors are ubiquitous in today's computing devices ranging from smartphones, IoT
micro-controllers, personal laptops to servers in data centers. Programming multiprocessors …