Emine G. Aydal, Richard F. Paige, Jim Woodcock. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. In First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. pages 11-20, IEEE Computer Society, 2008.
Abstract is missing.