New Front-End and Line Justification Algorithm for Automatic Test Generation.

Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

Browse the full ITC paper archive.