Huimin, Lin

< Back to all Authors
[up] Up a level
Group by: Item type | Date
Jump to:
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.