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