Login / Signup

Generating Predicate Callback Summaries for the Android Framework.

Danilo Dominguez PerezWei Le
Published in: MOBILESoft@ICSE (2017)
Keyphrases
  • website
  • real time
  • search algorithm
  • mobile devices
  • probabilistic model
  • theoretical framework