The following publications are possibly variants of this publication:
- Symbolic execution based on language transformationAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Preprint 2015.
- Symbolic execution based on language transformationAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Comp. Lang., Syst. \& Struct., Volume 44 Part A:48-71, December 2015. [doi]
- A Generic Framework for Symbolic Execution: A Coinductive ApproachDorel Lucanu, Rusu, Vlad, Andrei Arusoaie. JSC, 80:125-163, 2017. [doi]
- A generic framework for symbolic execution: A coinductive approachDorel Lucanu, Vlad Rusu, Andrei Arusoaie. JSC, 80:125-163, 2017. [doi]
- Language Definitions as Rewrite TheoriesVlad Rusu, Lucanu, Dorel, Serbanuta, Traian Florin , Arusoaie, Andrei, Stefanescu, Andrei, Grigore Rosu. Preprint 2015.
- Language Definitions as Rewrite TheoriesVlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. jlamp, 85(1 Part 1):98-120, January 2016.
- A Generic Approach to Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8189, 2012.
- A Generic Framework for Symbolic ExecutionAndrei Arusoaie, Dorel Lucanu, Rusu, Vlad. Rapport de recherche RR-8189, 2012.
- A Generic Framework for Symbolic ExecutionAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Preprint 2013.