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

Aydal, Emine G., Paige, Richard F. orcid.org/0000-0002-1978-9852 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2008) 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. IEEE Computer Society Press , pp. 11-20.

Metadata

Authors/Creators:
Dates:
  • Published: 2008
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Jul 2016 08:42
Last Modified: 30 Nov 2021 01:03
Published Version: https://doi.org/10.1109/ICSTW.2008.29
Status: Published
Publisher: IEEE Computer Society Press
Refereed: No
Identification Number: https://doi.org/10.1109/ICSTW.2008.29

Download

Filename: observations_for_assertion_based_scenarios.pdf

Description: observations-for-assertion-based-scenarios

Share / Export

Statistics