Note on a Constrained-Path Problem in Program Testing | IEEE Journals & Magazine | IEEE Xplore