Automatic Testing of Design Faults in MapReduce Applications | IEEE Journals & Magazine | IEEE Xplore