A novel methodology for hierarchical test generation using functional constraint composition | IEEE Conference Publication | IEEE Xplore