An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
A simulation model for evaluating personnel schedules in a hospital emergency department
WSC '96 Proceedings of the 28th conference on Winter simulation
Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
MICCAI '01 Proceedings of the 4th International Conference on Medical Image Computing and Computer-Assisted Intervention
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
Simulation Verification and Validation by Dynamic Policy Enforcement
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Barely sufficient software engineering: 10 practices to improve your CSE software
SECSE '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering
Testing for trustworthiness in scientific software
SECSE '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering
SEHC '09 Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care
Automatic system testing of programs without test oracles
Proceedings of the eighteenth international symposium on Software testing and analysis
Toward patient safety in closed-loop medical device systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Healthcare education with virtual-world simulations
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Software engineering for simulation systems in medical training: some initial experiences
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Resource management in complex and dynamic environments
Resource management in complex and dynamic environments
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
Developing discrete event simulations from rigorous process definitions
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Hi-index | 0.00 |
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.