Symbolic execution based on language transformation

Sorry, there's nothing here.

Topics

Cite this paper

@article{Arusoaie2015SymbolicEB, title={Symbolic execution based on language transformation}, author={Andrei Arusoaie and Dorel Lucanu and Vlad Rusu}, journal={Computer Languages, Systems & Structures}, year={2015}, volume={44}, pages={48-71} }