High-level and hierarchical test sequence generation | IEEE Conference Publication | IEEE Xplore