Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing.
Misael Costa JúniorPublished in: ICST (2020)
Keyphrases
- mobile applications
- automated verification
- formal verification
- model checking
- mobile devices
- automated reasoning
- mobile phone
- m learning
- context aware
- smart phones
- mobile environments
- mobile users
- user experience
- mobile services
- end users
- mobile platform
- knowledge representation
- wifi
- location based services
- mobile platforms
- battery life
- bayesian networks
- graph theory
- temporal logic
- desktop computers
- mobile apps