Static analysis of Android Auto infotainment and on-board diagnostics II apps.
Amit Kr MandalFederica PanarottoAgostino CortesiPietro FerraraFausto SpotoPublished in: Softw. Pract. Exp. (2019)
Keyphrases
- static analysis
- android platform
- mobile apps
- mobile applications
- dynamic analysis
- mobile platforms
- source code
- android application
- development tools
- api calls
- java card
- mobile devices
- regular expressions
- symbolic execution
- test suite
- test generation
- expert systems
- stream processing
- database
- smart phones
- fault diagnosis
- abstract interpretation
- software engineering
- training data