Error Detection Using Path Testing and Static Analysis | IEEE Journals & Magazine | IEEE Xplore