## 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, }