A Hierarchical Test Generation Using High Level primitives | IEEE Conference Publication | IEEE Xplore