Green-JEXJ: A new tool to measure energy consumption of improved concolic testing | IEEE Conference Publication | IEEE Xplore