Jonatan Larsson, Eduard Paul Enoiu. Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023. pages 186-189, IEEE, 2023. [doi]
Abstract is missing.