Automatic generation of power state machines through dynamic mining of temporal assertions.

Alessandro Danese, Graziano Pravadelli, Ivan Zandona

Browse the full DATE paper archive.