An Effective Design for Hierarchical Test Generation Based on Strong Testability | IEEE Conference Publication | IEEE Xplore