The following publications are possibly variants of this publication:
- 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.
- 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]
- 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 Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:
- Language-Independent Program Verification Using Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8369, 2013.