Automated Data Slicing for Model Validation: A Big Data - AI Integration Approach.