%0 Conference Paper %1 conf/iadis/LiuWLC09 %A Liu, Huai %A Wang, Daoming %A Lin, Huimin %A Chen, Tsong Yueh %B IADIS AC (2) %D 2009 %E Weghorn, Hans %E Isaías, Pedro T. %I IADIS Press %K dblp %P 299-302 %T On the integration of metamorphic testing and model checking. %U http://dblp.uni-trier.de/db/conf/iadis/ac2009.html#LiuWLC09 %@ 978-972-8924-97-3

@inproceedings{conf/iadis/LiuWLC09, added-at = {2010-01-22T00:00:00.000+0100}, author = {Liu, Huai and Wang, Daoming and Lin, Huimin and Chen, Tsong Yueh}, biburl = {https://www.bibsonomy.org/bibtex/21f5dd6beb02b853d057810922f2504cf/dblp}, booktitle = {IADIS AC (2)}, crossref = {conf/iadis/2009ac}, editor = {Weghorn, Hans and Isaías, Pedro T.}, interhash = {5dbd5cedc943f7d3dc1e837c5253a377}, intrahash = {1f5dd6beb02b853d057810922f2504cf}, isbn = {978-972-8924-97-3}, keywords = {dblp}, pages = {299-302}, publisher = {IADIS Press}, timestamp = {2016-10-05T11:37:03.000+0200}, title = {On the integration of metamorphic testing and model checking.}, url = {http://dblp.uni-trier.de/db/conf/iadis/ac2009.html#LiuWLC09}, year = 2009 }