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]
@inproceedings{AydalPW08-0,
title = {Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation},
author = {Emine G. Aydal and Richard F. Paige and Jim Woodcock},
year = {2008},
doi = {10.1109/ICSTW.2008.29},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2008.29},
researchr = {https://researchr.org/publication/AydalPW08-0},
cites = {0},
citedby = {0},
pages = {11-20},
booktitle = {First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3388-9},
}