dnaml

### Program Information

Name: dnaml
Domain: Bioinformatics
Functionality: generate trees with the highest “likelihood” against an evolutionary model
Input: An input ﬁle called “inﬁle” consisting of DNA sequences of multiple taxa
Output: trees with the highest “likelihood” against an evolutionary model

#### Reference

Veriﬁcation of Phylogenetic Inference Programs Using Metamorphic Testing   10.1142/S021972001100563X

### MR Information

#### MR1------

Description:
Property: If we generate a tree by swapping two taxa of any sub tree in the bottom layer of the original intree ﬁle S where the two taxa must share one immediate ancestor and append the newly generated tree to the original intree ﬁle to generate follow-up intree ﬁle S’, the set of original and follow-up output trees T and T’ and their corresponding likelihoods l and l’ are identical
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR2------

Description:
Property: If we apply the same transformation to change every character in every DNA sequence, for example (A→T, T→G, G→C, C→A), in the original input X to generate follow-up input X’, then the set of original and follow-up trees T and T’ are identical and their corresponding likelihoods are equal
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here