Context Static analysis exploits techniques that parse program source code or bytecode,
often traversing program paths to check some program properties. Static analysis …

To ensure user satisfaction and success of mobile applications, it is important to provide
highly performant applications. This is particularly important for resource-constrained …

Background Software developers are increasingly required to write concurrent code.
However, most developers find concurrent programming difficult. To better help developers …

The use of automatic static analysis tools (ASATs) has gained increasing attention in the last
few years. Even though available research have already explored ASATs issues and how …

Machine Learning (ML), including Deep Learning (DL), systems, ie, those with ML
capabilities, are pervasive in today's data-driven society. Such systems are complex; they …

Prior research exploited the repetitiveness of code changes to enable several tasks such as
code completion, bug-fix recommendation, library adaption, etc. These and other novel …

Numerical software is used in a wide variety of applications including safety-critical systems,
which have stringent correctness requirements, and whose failures have catastrophic …

Android, the# 1 mobile app framework, enforces the single-GUI-thread model, in which a
single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital …

Security threats are escalating exponentially posing a serious challenge to mobile platforms,
specifically Android. In recent years the number of attacks has not only increased but each …

An essential activity of software maintenance is the refactoring of source code. Refactoring
operations enable developers to take necessary actions to correct bad programming …