Ensuring security for modern IoT systems requires the use of complex methods to analyze
their software. One of the most in-demand methods that has repeatedly been proven to be …

JavaScript has become one of the most prevalent programming languages. Unfortunately,
some of the unique properties that contribute to this popularity also make JavaScript …

Despite the fact that most real-world software systems today are written in multiple
programming languages, existing program analysis based security techniques are still …

Due to the importance of Android app quality assurance, many automated GUI testing tools
have been developed. Although the test algorithms have been improved, the impact of GUI …

Context: Mobile applications (apps) have become deeply personal, constantly demanding
access to privacy-sensitive information in exchange for more personalized user …

Running on host mobile applications, mini apps have gained increasing popularity these
days for its convenience in installation and usage. However, being easy to use allows mini …

Most programming languages support foreign language interoperation that allows
developers to integrate multiple modules implemented in different languages into a single …

Declarative static program analysis has become one of the widely‐used program analysis
techniques. Declarative static analyzers perform three steps: creating databases of facts …

For performance and compatibility reasons, developers tend to use native code in their
applications (or simply apps). This makes a bidirectional data flow through multiple contexts …

Machine learning has transformed domains like vision and translation, and is now
increasingly used in science, where the correctness of such code is vital. Python is popular …