Combining symbolic and genetic techniques for efficient sequential circuit test generation
Keyword(s):
2000 ◽
Vol 5
(3)
◽
pp. 548-565
◽