On the Use of a High-Level Fault Model to Check Properties Incompleteness.

Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto

Browse the full MEMOCODE paper archive.