Bruno Marre
Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming
ICLP, 1991.
@inproceedings{ICLP-1991-Marre,
author = "Bruno Marre",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "202--219",
publisher = "{MIT Press}",
title = "{Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming}",
year = 1991,
}