Symbolic Program Analysis Using Term Rewriting and Generalization | IEEE Conference Publication | IEEE Xplore