FANHAT: fanout oriented hierarchical automatic test generation system | IEEE Conference Publication | IEEE Xplore