Overlap reduction in symbolic system traversal | IEEE Conference Publication | IEEE Xplore