TITLE     : A meaningful bound for branch testing
AUTHOR(S) : Bertolino A, Marré M
TYPE      : Conference article
YEAR      : 1994
CODE      : 409298

*** DO NOT EDIT THIS FILE ***