A formal approach to automatically analyse extra-functional properties in mobile applications.
Ana Rosario EspadaMaría-del-Mar GallardoAlberto SalmerónLaura PanizoPedro MerinoPublished in: Softw. Test. Verification Reliab. (2019)
Keyphrases
- mobile applications
- functional properties
- mobile devices
- mobile phone
- context aware
- m learning
- battery life
- mobile environments
- location based services
- boolean functions
- user experience
- mobile users
- interaction design
- wireless devices
- mobile apps
- mobile technologies
- mobile platforms
- mobile services
- smart phones
- end users
- mobile platform
- wifi
- life cycle
- mobile learning