Login / Signup

Automatically verifying and reproducing event-based races in Android apps.

Yongjian HuIulian NeamtiuArash Alavi
Published in: ISSTA (2016)
Keyphrases
  • mobile applications
  • mobile platforms
  • mobile apps
  • automatically generated
  • android platform
  • mobile devices
  • event driven
  • real time
  • model checking
  • data mining
  • search engine
  • artificial neural networks
  • user interface