FACTOR: a hierarchical methodology for functional test generation and testability analysis | IEEE Conference Publication | IEEE Xplore