Mario A. Nascimento, Clenio F. Salviano, Murat M. Tanik. Using Logic Programming to Test Module Specifications in Early Stages of Software Development. In Tuncer I. Ören, George J. Klir, editors, Computer Aided System Theory - CASR 94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers. Volume 1105 of Lecture Notes in Computer Science, pages 373-387, Springer, 1994.
@inproceedings{NascimentoST94,
title = {Using Logic Programming to Test Module Specifications in Early Stages of Software Development},
author = {Mario A. Nascimento and Clenio F. Salviano and Murat M. Tanik},
year = {1994},
tags = {testing, logic programming, programming, logic},
researchr = {https://researchr.org/publication/NascimentoST94},
cites = {0},
citedby = {0},
pages = {373-387},
booktitle = {Computer Aided System Theory - CASR 94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers},
editor = {Tuncer I. Ören and George J. Klir},
volume = {1105},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61478-8},
}