Hierarchical test generation: Where we are, and where we should be going | IEEE Conference Publication | IEEE Xplore