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.
logic based representation, test automation framework, parser testing
@InProceedings{Chirila2009ICCP,
author = {Ciprian-Bogdan Chirila and C\u{a}lin Jebeleanu and Krisztina Francz},
title = {Testing Techniques for a Logic Representation Generator},
booktitle = {In Proceedings of 2009 IEEE 5-th International Conference on Intelligent Computer Communication and Processing ICCP 2009},
pages = {207--210},
isbn = {ISBN 978-1-4244-5007-7, IEEE Catalog Number CFP0909D-PRT, Library of Congress Number: 2009906791},
address = {Cluj-Napoca, Romania},
month = {August 27-29},
year = {2009},
}
[Chirila2009ICCP] - Ciprian-Bogdan Chirila, Calin Jebeleanu, Krisztina Francz. Testing Techniques for a Logic Representation Generator, In Proceedings of 2009 IEEE 5-th International Conference on Intelligent Computer Communication and Processing ICCP 2009, pp. 207--210, ISBN 978-1-4244-5007-7, IEEE Catalog Number CFP0909D-PRT, Library of Congress Number: 2009906791, Cluj-Napoca, Romania, August 27-29, 2009
[Chirila2009ICCP] - Ciprian-Bogdan Chirila, Calin Jebeleanu, Krisztina Francz. Testing Techniques for a Logic Representation Generator, In Proceedings of 2009 IEEE 5-th International Conference on Intelligent Computer Communication and Processing ICCP 2009, pp. 207--210, ISBN 978-1-4244-5007-7, IEEE Catalog Number CFP0909D-PRT, Library of Congress Number: 2009906791, Cluj-Napoca, Romania, August 27-29, 2009