Design Domain Specific Neural Network via Symbolic Testing