In this paper, we propose a set of mutation operators for the Jason agent-oriented programming language, and then introduce a muta- tion testing system for ...
In this paper, we propose a set of mutation operators for the agent-oriented programming language Jason, and then introduce a mutation testing system for ...
muJason: a Mutation Testing System for Jason Agents. We have developed a mutation testing system for individual Jason agents called mu-. Jason3, where we have ...
Jul 14, 2016 · Mutation testing offers a direct and powerful way to do this: it generates modified versions of the program (“mutants”) following a set of rules ...
People also ask
How to perform mutation testing?
What is the difference between mutation testing and fuzzing?
What is targeted mutation testing?
What is Stryker mutation testing?
Mutation Testing for Jason Agents ; English · Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems · Richland, SC · IFAAMAS.
This paper introduces semantic mutation testing (SMT) into multi-agent systems. SMT is a test assessment technique that makes changes to the interpretation ...
This paper applies SMT to three rule-based agent programming languages, namely. Jason, GOAL and 2APL, provides several contexts in which SMT for these languages ...
May 9, 2014 · (2014) Mutation Testing for Jason Agents. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems.
ABSTRACT. Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and.
muJason - a mutation testing system for Jason agents.