Possibly Related Publications

The following publications are possibly variants of this publication:

• A Generic Tool for Tracing Executions Back to a DSML s Operational SemanticsBenoît Combemale, Laure Gonnord, Vlad Rusu. ECMDA-FA 2011: 35-51 [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:
• Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.
• Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. Software and Systems Modeling (Preprint) 2012.
• 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.