Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS.

Jonatan Larsson, Eduard Paul Enoiu

Browse the full ICST paper archive.