A System to Generate Test Data and Symbolically Execute Programs | IEEE Journals & Magazine | IEEE Xplore