Date Added: Jul 2009
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. The authors present several testing techniques in the context of logic based representation. Their work is based on the logic foundation for program representation defined. The logic representation may be seen as a set of Horn clauses organized as a 3NF normalized relational database having no null values.