Zero-one integer programming model in path selection problem of structural testing | IEEE Conference Publication | IEEE Xplore