Partial scan using multi-hop state reachability analysis | IEEE Conference Publication | IEEE Xplore