Theory of Software Testing With Persistent State | IEEE Journals & Magazine | IEEE Xplore