Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie. - Eleni Giannoulatou; Shin-Ho Park; David T. Humphreys; Joshua Wing Kei Ho (BMC Bioinform., 2014)