1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... for automatic generation of test sequences for digital circuits -- Constraint handling in evolutionary search: A...