Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.

Bruno Marre

Browse the full ICLP paper archive.