Wang, Daoming
< Back to all AuthorsGroup by: Item type | Date
Jump to:
21 November 2009
21 November 2009
Number of items: 1.
21 November 2009
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.