Automated detection of human errors based on multiple partial state spaces