Saturn: An Automatic Test Generation System for Digital Circuits.

Narinder Singh Saturn: An Automatic Test Generation System for Digital Circuits. 778-783 1986 AAAI db/conf/aaai/aaai86-2.html#Singh86