Special Feature Program Testing: Art Meets Theory* | IEEE Journals & Magazine | IEEE Xplore