Verification of phylogenetic inference programs using metamorphic testing

Journal of Bioinformatics and Computational Biology

Volumn 9, Issue 6, 2011, Pages 729-747

  Sadi, Md Shaik ^a   Kuo, Fei Ching ^a   Ho, Joshua W K ^b   Charleston, Michael A ^b   Chen, T Y ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

bioinformatics; metamorphic testing; PHYLIP; Software testing

Indexed keywords

DNA;

ARTICLE; COMPUTER PROGRAM; GENETICS; MOLECULAR EVOLUTION; PHYLOGENY;

DNA; EVOLUTION, MOLECULAR; PHYLOGENY; SOFTWARE;

EID: 80855163626     PISSN: 02197200     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021972001100563X     Document Type: Article

References (19)

1. Felsenstein J, Inferring Phylogenies, Sinauer Associates, 2004.
2. Friedman N, Ninio M, Pe'er I, Pupko T, A structural EM algorithm for phylogenetic inference, J Comp Biol 9:331-353, 2002.
3. Chen TY, Cheung SC, Yiu SM, Metamorphic testing: A new approach for generating next test cases, Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Tech. Rep. HKUST-CS98-01, 1998.
4. Chen TY, Ho JWK, Liu H, Xie X, An innovative approach for testing bioinformatics programs using metamorphic testing, BMC Bioinformatics 10:24, 2009.
5. PHYLIP. Available at http://evolution.genetics.washington.edu/phylip/doc/ main. html.
6. Swofford DL, PAUP*. Phylogenetic Analysis Using Parsimony (*and Other Methods). Version 4, Sinauer Associates, Sunderland, MA, 2003.
7. Kumar S, Nei M, Dudley J, Tamura K, MEGA: A biologist-centric software for evolutionary analysis of DNA and protein sequences, Briefings Bioinform 9(4): 299-306, 2008.
8. Huelsenbeck JP, Ronquist F, MRBAYES: Bayesian inference of phylogenetic trees, Bioinformatics (Oxford, England) 17(8):754-755, 2001.
9. Stamatakis A, Ludwig T, Meier H, RAxML-III: A fast program for maximum likelihood-based inference of large phylogenetic trees, Bioinformatics 21(4):456-463, 2005.
10. Available at http://evolution.genetics.washington.edu/phylip/newicktree. html.
11. Hendy MD, Penny D, Branch and bound algorithms to determine minimal evolutionary trees, Math Biosci 59:277-290, 1982.
12. Felsenstein J, Churchill GA, A hidden markov model approach to variation among sites in rate of evolution molecular biology and evolution, Mol Biol Evol 13:93-104, 1996.
13. Cody WJ, Waite W, Software Manual for the Elementary Functions, Series in Computational Mathematics, Prentice-Hall, Inc., Upper Saddle River, NJ, 1980.
14. Li H, Coghlan A, Ruan J, Coin LJJ, H́erich́e J-KK, Osmotherly L, et al., TreeFam: A curated database of phylogenetic trees of animal gene families, Nucleic Acids Res 34: (Database issue), 2006.
15. Hinds N, Kernel korner: The linux test project, Linux J 2005, 2005.
16. Woodward MR, Halewood K, From weak to strong, dead or alive? An analysis of some mutationtesting issues, In Proc 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88), pp. 152-158, Banff Albert, Canada, 1988.
17. Chen TY, Huang DH, Tse TH, Zhou ZQ, Case studies on the selection of useful relations in metamorphic testing, In Proc. 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569-583, 2004.
18. Sanders R, Kelly D, Dealing with risk in scientific software development, IEEE Software 25:21-28, 2008.
19. Chen TY, Tse TH, Zhou ZQ, Semi-proving: An integrated method for program proving, testing, and debugging, IEEE Trans Softw Eng 37:109-125, 2011.