Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Symbolic execution based on language transformation. Computer Languages, Systems \& Structures, Volume 44 Part A:48-71, December 2015. [doi]
@article{ArusoaieLR-CLSS2015,
title = {Symbolic execution based on language transformation},
author = {Andrei Arusoaie and Dorel Lucanu and Vlad Rusu},
year = {2015},
month = {December},
doi = {10.1016/j.cl.2015.08.004},
url = {http://www.sciencedirect.com/science/article/pii/S147784241500055X},
researchr = {https://researchr.org/publication/ArusoaieLR-CLSS2015},
cites = {0},
citedby = {0},
journal = {Computer Languages, Systems \& Structures},
volume = {Volume 44 Part A},
pages = {48-71},
}