Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie
Reproducible Research in Computational Science