Exploring Paraphrasing Techniques on Formal Language for Generating Semantics Preserving Source Code Transformations. - Aviel J. Stein; Aviel Kapllani; Spiros Mancoridis; Rachel Greenstadt (ICSC, 2020)