Automatic troubleshooting for sdn control software | AMiner