Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie
The Sequence Alignment/Map format and SAMtools