Application of path integrals to non-perturbative study of massive Yang-Mills theory