TITLE     : TeStor: deriving test sequences from model-based specifications
AUTHOR(S) : Pelliccione P., Muccini H., Bucchiarone A., Facchini F.
TYPE      : Conference article
YEAR      : 2005
CODE      : 43843

*** DO NOT EDIT THIS FILE ***