Hierarchical Test Generation Based on Delayed Propagation.

Margot Karam, Rgis Leveugle, Gabriele Saucier

Browse the full ITC paper archive.