Jonathan Thaler, Peer-Olaf Siebers. Show me your properties: the potential of property-based testing in agent-based simulation. In Umut Durak, editor, Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019. ACM, 2019. [doi]
Abstract is missing.