Verification and validation of bioinformatics software without a gold standard: a case study of BWA and Bowtie.
Eleni GiannoulatouShin-Ho ParkDavid T. HumphreysJoshua Wing Kei HoPublished in: BMC Bioinform. (2014)
Keyphrases
- gold standard
- semi automatic
- ground truth
- software development
- software systems
- manual segmentation
- case study
- model checking
- data analysis
- computer systems
- formal methods
- computational tools
- face verification
- molecular biology
- formal verification
- software developers
- data mining
- test cases
- source code
- test bed
- software architecture
- software maintenance
- biological data
- petri net
- text mining
- artificial intelligence
- machine learning