A Property-based Testing Framework for Multi-Agent Systems | Publicación