Clara Benac Earle, Lars-Åke Fredlund: A Property-based Testing Framework for Multi-Agent Systems. AAMAS 2019: 1823-1825