1. Symbolic execution based on language transformation. (December 2015) Authors: Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad Journal: Computer languages, systems & structures Issue: Volume 44:Part A(2015) Page Start: 48 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗