TITLE     : Using spanning sets for coverage testing
AUTHOR(S) : Bertolino A, Marrè M
TYPE      : Journal article
YEAR      : 2003
CODE      : 43679

*** DO NOT EDIT THIS FILE ***