Multiple-implementation testing of supervised learning software
DeepXplore: automated whitebox testing of deep learning systems