"Automatic Test Program Generation Using Executing-Trace-Based Constraint ..."

Ying Zhang, Huawei Li, Xiaowei Li (2013)

Details and statistics

DOI: 10.1109/TVLSI.2012.2208130

access: closed

type: Journal Article

metadata version: 2023-05-11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics