Securing energy metering software with automatic source code correction
Calysto: scalable and precise extended static checking