Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS.
Jonatan LarssonEduard Paul EnoiuPublished in: ICSTW (2023)
Keyphrases
- energy consumption
- test generation
- wireless sensor networks
- sensor networks
- energy efficient
- data sets
- energy saving
- energy efficiency
- data center
- databases
- energy conservation
- static analysis
- data transmission
- model checking
- evolutionary algorithm
- artificial intelligence
- routing protocol
- data acquisition
- image quality
- routing algorithm
- quality assessment
- quality control
- query language
- data model
- multi agent
- training data
- case study
- residual energy