Early Results from Metamorphic Testing of Epidemiological Models

Abstract

The research reported in this paper is motivated by the need to validate models of disease spread. To date, reasoned confidence in the results of these models is complicated by the increasing complexity of the models and by their desired predictive use. As part of an overall approach to verification and validation of disease spread models, we investigate metamorphic testing. In this paper, we present early results of initial metamorphic testing on agent-based epidemiological models.