ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation.

Steven Parkes, Prithviraj Banerjee, Janak H. Patel

Browse the full DAC paper archive.