Validation with Guided Search of the State Space.

C. Han Yang, David L. Dill

Browse the full DAC paper archive.