AgentTest: A specification language for agent-based system testing.

Marina Bagic Babac Dragan Jevtic

Published in: Neurocomputing (2014)

Keyphrases

specification language
symbolic execution
programming language
formal specification
description language
software environment
multi agent
cooperative
multi agent systems
test cases
requirements specification
case study
optimal solution
reverse engineering
model checker