Application only analysis of event-driven Android applications using message history logics.
Primary LanguageScalaApache License 2.0Apache-2.0