Possibly Related Publications

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 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]
• A Generic Approach to Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8189, 2012.
• 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]