Testing techniques for a logic representation generator

Logic based representation can be used for expressing programs and models driven by a grammar. Thus, model analysis and transformation written as declarative paradigm rules can be more expressive. Usually, logic representations are obtained by translators which must be tested as any other software artifacts. We present several testing techniques in the context of logic based representation.