Validating MAS simulation models with mutation

Authors:
Emanuela Merelli;Michal Young
Affiliations:
(Correspd. Tel.: +39 0737402567/ Fax: +39 0737402561/ E-mail: emanuela.merelli@unicam.it) Dipartimento di Matematica e Informatica, Università/ di Camerino, Camerino, 62032, Italy;Department of Computer and Information Science, University of Oregon, Eugene, Oregon 97403, USA
Venue:
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Year:
2007

Citing 16
Cited 0

Specification-based testing of reactive software: tools and experiments: experience report

ICSE '97 Proceedings of the 19th international conference on Software engineering
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
On the criteria to be used in decomposing systems into modules

Communications of the ACM
An agent-based approach for building complex software systems

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
Software Engineering Economics

Software Engineering Economics
Theoretical and empirical studies on using program mutation to test the functional correctness of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordination as Comstrainted Interaction (Extended Abstract)

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Challenges and Research Directions in Agent-Oriented Software Engineering

Autonomous Agents and Multi-Agent Systems
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
How to build valid and credible simulation models

WSC '05 Proceedings of the 37th conference on Winter simulation
Verification and validation of simulation models

WSC '05 Proceedings of the 37th conference on Winter simulation
Testing Programs with the Aid of a Compiler

IEEE Transactions on Software Engineering
A multi-agent system for modelling carbohydrate oxidation in cell

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
An agent-oriented conceptual framework for systems biology

Transactions on Computational Systems Biology III
Agent-based modelling of stem cell self-organisation in a niche

Engineering Self-Organising Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A key reason for choosing agent-based simulation of a biological system over other kinds of simulation model is the potential for structural as well as behavioral correspondence between the simulation model and the modeled system. This correspondence both demands and makes possible new kinds of model validation. Model fidelity can be evaluated by introducing seeded faults that correspond to known or hypothesized mutations, thus tying software validation to biological mutation analysis. The approach is illustrated by application to two implementations of an agent-based model of carbohydrate oxidation in a cell.