Weghorn, H
< Back to all AuthorsGroup by: Item type | Date
Jump to:
Conference or Workshop Item
Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Liu, Huai ORCID: 0000-0003-3125-4399, Wang, Daoming, Huimin, Lin and Chen, Tsongyueh
(2009)
On the integration of metamorphic testing and model checking.
In: The IADIS International Conference on Applied Computing 2009, 19 November 2009-21 November 2009, Rome, Italy.