AQUA: Android QUery Analyzer. - Chon Ju Kim; Phyllis G. Frankl (WCRE, 2012)