TAO: regular expression based high-level testability analysis and optimization.

Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jha

Browse the full ITC paper archive.