GLOBAL: A design for random testability algorithm

DOI10.1007/BF02939500zbMath0809.94037MaRDI QIDQ1331229

Daozheng Wei, Dong Xiang

Publication date: 4 April 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

branch \& bound algorithmglobal designtestability algorithm

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• On Random Pattern Test Length

This page was built for publication: GLOBAL: A design for random testability algorithm