Huai Liu, Daoming Wang, Huimin Lin, Tsong Yueh Chen. On the integration of metamorphic testing and model checking. In Hans Weghorn, Pedro T. IsaÃas, editors, Proceedings of the IADIS International Conference Applied Computing 2009, 19-21 November, Rome, Italy, 2 Volumes. pages 299-302, IADIS Press, 2009.
Abstract is missing.