Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Symbolic execution based on language transformation. Preprint 2015.
@techreport{preprint-ArusoaieLR-CLSS2015,
title = {Symbolic execution based on language transformation},
author = {Andrei Arusoaie and Dorel Lucanu and Vlad Rusu},
year = {2015},
researchr = {https://researchr.org/publication/preprint-ArusoaieLR-CLSS2015},
cites = {0},
citedby = {0},
type = {Preprint},
}