The following publications are possibly variants of this publication:
- 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 ExecutionAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. SLE 2013: 281-301 [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 TheoriesArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad, Serbanuta, Traian Florin , Stefanescu, Andrei, Grigore Rosu. In International Workshop on Rewriting Logic and Application. 2014:
- Language-Independent Program Verification Using Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8369, 2013.
- Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.
- Symbolic execution based on language transformationAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Comp. Lang., Syst. \& Struct., 44:48-71, 2015. [doi]
- A Generic Approach to Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8189, 2012.