"Interactively verifying absence of explicit information flows in Android apps."

Osbert Bastani, Saswat Anand, Alex Aiken (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics