Early results from metamorphic testing of epidemiological models

Proceedings of the 2012 ASE International Conference on BioMedical Computing, BioMedCom 2012

Volumn , Issue , 2012, Pages 62-67

  Pullum, Laura L ^a   Ozmen, Ozgur ^a  

^a OAK RIDGE NATIONAL LABORATORY   (United States)

Author keywords

1918 Spanish flu; Agent based models; Epidemiological models; Metamorphic testing; Verification

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL METHODS; VERIFICATION;

1918 SPANISH FLU; AGENT BASED; AGENT-BASED MODEL; DISEASE SPREAD; EPIDEMIOLOGICAL MODELS; METAMORPHIC TESTING; VERIFICATION-AND-VALIDATION;

EPIDEMIOLOGY;

EID: 84878691643     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BioMedCom.2012.17     Document Type: Conference Paper

References (16)

1. M. D. Davis and E. J. Weyuker. Computatbility, Complexity and Languages. Academic Press, 1983
2. G. Fortino, et al. A discrete-event simulation framework for the validation of agent-based and multi-agent systems, Proceedings WOA 2005 Conference, Italy, November 2005
3. M. A. Louie and K. M. Carley. Balancing the criticisms: validating multi-agent models of social systems, Sim Modeling Practice and Theory, 16(2), Elsevier, pp. 242-256, 2008
4. A. Reeves. Versioning, stability, verification, and validation of NAADSM, Technical Paper #1, http://www.naadsm.org/techpapers/, October 2009
5. T. Y. Chen, S. C. Cheung, and S. Yiu. Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01, Dept. of Computer Science, Hong Kong Univ. of Science and Technology, 1998
6. R. Guderlei and J. Mayer. Statistical metamorphic testing: testing programs with random output by means of statistical hypothesis tests and metamorphic testing. In Proceedings of the 7th Intl Conference on Quality Software (QSIC 2007), October 2007, pp. 404-409
7. C. Murphy. Metamorphic testing techniques to detect defects in applications without test oracles. Ph.D. dissertation, Columbia University, 2010
8. T. Y. Chen, J. W. K. Ho, H. Liu, and X. Xie. An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics, 10(24), 2009
9. T. Y. Chen, et al. Conformance testing of network simulators based on metamorphic testing technique. Lecture Notes in Computer Science, 5522, 2009
10. X. Xie, et al. Application of metamorphic testing to supervised classifiers. In Proc of the 9th Intl Conf on Quality Software (QSIC), 2009
11. X. Xie, J. W. K. Hob, C. Murphy, G. Kaiser, B. Xue, and T. Y. Chena. Testing and validating machine learning classifiers by metamorphic testing, Elsevier, 2010
12. J. Ding, Metamorphic Testing of a Monte Carlo Modeling Program, AST'11, May 23-24, 2011, Waikiki, Honolulu, HI, USA
13. C. Murphy, et al., On Effective Testing of Health Care Simulation Software, SEHC 2011
14. L. Pullum and X. Cui. A hybrid sensitivity analysis approach for agent-based disease spread models, Dependable Systems and Networks, Boston, MA, June 2012
15. S. R. Sukumar and J. J. Nutaro, Agent-Based vs. Equationbased Epidemiological Models: A Model Validation Case Study, Workshop on Verification and Validation of Epidemiological Models, VVEM 2012, Washington, DC, Dec. 2012
16. S. K. Jha and A. Ramanathan, Quantifying Uncertainty in Epidemiological Models, Workshop on Verification and Validation of Epidemiological Models, VVEM 2012, Washington, DC, Dec. 2012