Stefano Gandini, Walter Ruzzarin, Ernesto Sánchez, Giovanni Squillero, Alberto Paolo Tonda. A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes. J. Electronic Testing, 26(6):689-697, 2010. [doi]
Abstract is missing.