Verification of phylogenetic Inference Programs Using Metamorphic Testing. - Md. Shaik Sadi; Fei-Ching Kuo; Joshua Wing Kei Ho; Michael A. Charleston; Tsong Yueh Chen (J. Bioinform. Comput. Biol., 2011)