Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie.

Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie.