A functional approach to program testing and analysis | IEEE Journals & Magazine | IEEE Xplore