Generating interesting scenarios from system descriptions
Kaizhi Yue · 1988
A formal system specification is often written declaratively, in terms of the properties of the system components. This makes the system description modular and concise. However, this does not make the procedural aspects of the system easily understandable. Here arises the need for automatically generating interesting behavior patterns, specifically, scenarios.