A Property-based Testing Framework for Multi-Agent Systems
Clara Benac Earle, Lars‐Åke Fredlund · 2019
In this article we describe a framework that we have developed for testing multi-agent systems written in the Jason agent programming language, using the testing technique known as property-based testing, a form of randomised automatic model-based testing.