Experiences of Testing Bioinformatics Programs for Detecting Subtle Faults | IEEE Conference Publication | IEEE Xplore