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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.