By the same authors

Semantic Mutation Testing for Multi-Agent Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Semantic Mutation Testing for Multi-Agent Systems. / Huang, Zhan; Alexander, Rob.

The International Workshop on Engineering Multi-Agent Systems (EMAS). 2015.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Huang, Z & Alexander, R 2015, Semantic Mutation Testing for Multi-Agent Systems. in The International Workshop on Engineering Multi-Agent Systems (EMAS).

APA

Huang, Z., & Alexander, R. (2015). Semantic Mutation Testing for Multi-Agent Systems. In The International Workshop on Engineering Multi-Agent Systems (EMAS)

Vancouver

Huang Z, Alexander R. Semantic Mutation Testing for Multi-Agent Systems. In The International Workshop on Engineering Multi-Agent Systems (EMAS). 2015

Author

Huang, Zhan ; Alexander, Rob. / Semantic Mutation Testing for Multi-Agent Systems. The International Workshop on Engineering Multi-Agent Systems (EMAS). 2015.

Bibtex - Download

@inproceedings{6cffd872ac2b433cbb9120bcdf48158b,
title = "Semantic Mutation Testing for Multi-Agent Systems",
abstract = "This paper introduces semantic mutation testing (SMT) into multiagentsystems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. 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 is useful, and proposes three sets of semantic mutation operators (i.e.,rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness.",
author = "Zhan Huang and Rob Alexander",
note = "{\circledC} 2015, The Author(s).",
year = "2015",
month = "5",
day = "20",
language = "English",
booktitle = "The International Workshop on Engineering Multi-Agent Systems (EMAS)",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Semantic Mutation Testing for Multi-Agent Systems

AU - Huang, Zhan

AU - Alexander, Rob

N1 - © 2015, The Author(s).

PY - 2015/5/20

Y1 - 2015/5/20

N2 - This paper introduces semantic mutation testing (SMT) into multiagentsystems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. 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 is useful, and proposes three sets of semantic mutation operators (i.e.,rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness.

AB - This paper introduces semantic mutation testing (SMT) into multiagentsystems. SMT is a test assessment technique that makes changes to the interpretation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT is also a technique for assessing the robustness of a program to semantic changes. 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 is useful, and proposes three sets of semantic mutation operators (i.e.,rules to make semantic changes) for these languages respectively, and a set of semantic mutation operator classes for rule-based agent languages. This paper then shows, through preliminary evaluation of our semantic mutation operators for Jason, that SMT has some potential to assess tests and program robustness.

M3 - Conference contribution

BT - The International Workshop on Engineering Multi-Agent Systems (EMAS)

ER -