Verification of 3G and 4G received power measurements in a crowdsourcing Android app.
Mads LauridsenIgnacio RodriguezLars Møller MikkelsenLucas Chavarria GimenezPreben E. MogensenPublished in: WCNC (2016)
Keyphrases
- mobile applications
- mobile apps
- android platform
- mobile platforms
- power consumption
- social networking
- fully functional
- android application
- mobile devices
- model checking
- signature verification
- user experience
- case study
- verification method
- formal methods
- genetic algorithm
- information retrieval
- functional verification
- data sets