@inproceedings{publication-3398, address={Paris}, author={Ryser, Johannes and Glinz, Martin}, booktitle={12th International Conference on Software and Systems Engineering and their Applications (ICSSEA’99)}, month={DEC}, publisher={CNAM}, title={A Scenario-Based Approach to Validating and Testing Software Systems Using Statecharts}, year=1999, }