A Property-based Testing Framework for Multi-Agent Systems
Abstract
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 propertybased testing, a form of randomised automatic model-based testing.
