Applying statistical debugging for enhanced trace validation of agent-based models. (April 2017)