header
dnaml 

Tag:
Edit edit   Starstar

Program Information

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

Reference

Verification 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 file S where the two taxa must share one immediate ancestor and append the newly generated tree to the original intree file to generate follow-up intree file 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