BigDEC: A multi-algorithm Big Data tool based on the k-mer spectrum method for scalable short-read error correction