Metamorphic Testing in Bioinformatics Software: A Case Study on Metagenomic Assembly | IEEE Conference Publication | IEEE Xplore