Application only analysis of event-driven Android applications using message history logics.
Primary LanguageScala