On the Energy Consumption of Test Generation | IEEE Conference Publication | IEEE Xplore