Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

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. [doi]

Authors

Emine G. Aydal

This author has not been identified. Look up 'Emine G. Aydal' in Google

Richard F. Paige

This author has not been identified. It may be one of the following persons: Look up 'Richard F. Paige' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google