Recent years have seen the development of numerous tools for the analysis of taint flows in
Android apps. Taint analyses aim at detecting data leaks, accidentally or by purpose …

Context Static bug detection techniques are commonly used to automatically detect software
bugs. The biggest obstacle to the wider adoption of static bug detection tools is false …

Abstract interpretation promises sound but computable static summarization of program
behavior. However, modern software engineering practices pose significant challenges to …

Context Concolic testing is a promising approach to automate structural test data generation.
However, combinatorial explosion of the path space, known as path explosion, and also …

Automated Software Testing (AST) emerged from the attempt of organizations to do more
with less. They wanted to test their software adequately but within a minimum schedule. A …

Configurations are powerful tools for end-user customization of software. For example, non-
expert software users may customize the behavior of programs via option menus, system …

Testing is an important and necessary activity in developing programs to gain confidence in
their behaviour, but creating test cases is a laborious and time-consuming job to developers …