TITLE     : A symbolic framework for model-based testing
AUTHOR(S) : Frantzen L., Tretmans J., Willemse T.
TYPE      : Journal article
YEAR      : 2006
CODE      : 43857

*** DO NOT EDIT THIS FILE ***