Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.

Eugene Goldberg, Panagiotis Manolios

Browse the full TAP paper archive.