The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

There have been many studies on automated test generation for mobile Graphical User
Interface (GUI) applications. These studies successfully demonstrate how to detect fatal …

Benchmarking software testing tools against known bugs is a classic approach to evaluating
the tools' bug finding abilities. However, this approach is difficult to give some clues on the …

Misuse of cryptographic (crypto) APIs is a noteworthy cause of security vulnerabilities. For
this reason, static analyzers were recently proposed for detecting crypto API misuses. They …

With the ever‐growing Android graphical user interface (GUI) application market, there have
been many studies on automated test generation for Android GUI applications. These …

Verifying the functional behavior of graphical user interface (GUI) applications is essential
for reducing post-release issues. In practice, a developer/tester performs this verification by …

Android has become one of the most popular operating systems for mobile devices. As the
number of applications for the Android ecosystem grows, so is their complexity, increasing …

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing
the correct behavior of the software. While a single enforcer can be easily designed focusing …

A review of software dynamic analysis methods is presented, mainly focusing on the
methods supported by tools targeted on software security verification and applicable to …

Users regularly use apps to access services in a range of domains, such as health,
productivity, entertainment, and business. The safety and correctness of the runtime …