A CLP framework for computing structural test data (2000)

by A Gotlieb, B Botella, M Rueher
Venue:In Computational Logic