Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


3rd International Workshop on Software Engineering in Health Care (SEHC 2011, May 22-23, 2011, Honolulu, Hawaii.

Also available as a Technical report


Health care professionals rely on software to simulate anatomical and physiological elements of the human body for purposes of training, prototyping, and decision making. Software can also be used to simulate medical processes and protocols to measure cost effectiveness and resource utilization. Whereas much of the software engineering research into simulation software focuses on validation (determining that the simulation accurately models real-world activity), to date there has been little investigation into the testing of simulation software itself, that is, the ability to effectively search for errors in the implementation. This is particularly challenging because often there is no test oracle to indicate whether the results of the simulation are correct. In this paper, we present an approach to systematically testing simulation software in the absence of test oracles, and evaluate the effectiveness of the technique.

Subject Area

CPS Medical

Publication Title

3rd Workshop on Software Engineering in Health Care (SEHC 2011)

First Page


Last Page




Permission Statement

© ACM 2011. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 3rd Workshop on Software Engineering in Health Care (SEHC 2011),


Reliability, Verification, Software Testing, Oracle Problem, Metamorphic Testing



Date Posted: 07 May 2011

This document has been peer reviewed.