Exploring Paraphrasing Techniques on Formal Language for Generating Semantics Preserving Source Code Transformations | IEEE Conference Publication | IEEE Xplore