Combining symbolic and genetic techniques for efficient sequential circuit test generation.

Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick

Browse the full ETS paper archive.