Thaler, J., & Siebers, P.-O. (2020). Specification testing of agent-based simulation using property-based testing. Autonomous Agents and Multi-Agent Systems, 34(2), Article 47. https://doi.org/10.1007/s10458-020-09473-8