"Satisfiability-Based Automatic Test Program Generation and Design for ..."

Loganathan Lingappan, Niraj K. Jha (2007)

Details and statistics

DOI: 10.1109/TVLSI.2007.896908

access: closed

type: Journal Article

metadata version: 2020-03-11