On Path Cover Problems in Digraphs and Applications to Program Testing | IEEE Journals & Magazine | IEEE Xplore