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

*** DO NOT EDIT THIS FILE ***