{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:48:31Z","timestamp":1764402511582,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,22]],"date-time":"2011-05-22T00:00:00Z","timestamp":1306022400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,22]]},"DOI":"10.1145\/1987993.1988003","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"40-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["On effective testing of health care simulation software"],"prefix":"10.1145","author":[{"given":"Christian","family":"Murphy","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. S.","family":"Raunak","sequence":"additional","affiliation":[{"name":"Loyola University Maryland, Baltimore, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"King","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjian","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Imbriano","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gail","family":"Kaiser","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori","family":"Clarke","sequence":"additional","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon","family":"Osterweil","sequence":"additional","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809085.1809098"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268462"},{"key":"e_1_3_2_1_5_1","volume-title":"Discrete-Event System Simulation","author":"Banks J.","year":"2010","unstructured":"J. Banks , B. L. Nelson , and D. M. Nicol . Discrete-Event System Simulation , 5 th ed. Pearson\/Prentice Hall , 2010 . J. Banks, B. L. Nelson, and D. M. Nicol. Discrete-Event System Simulation, 5th ed. Pearson\/Prentice Hall, 2010.","edition":"5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337623"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"60","article-title":"A metamorphic testing approach for online testing of service-oriented software applications","volume":"4","author":"Chan W. K.","year":"2007","unstructured":"W. K. Chan , S. C. Cheung , and K. R. P. H. Leung . A metamorphic testing approach for online testing of service-oriented software applications . International Journal of Web Services Research , 4 ( 1 ): 60 -- 80 , April-June 2007 . W. K. Chan, S. C. Cheung, and K. R. P. H. Leung. A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research, 4(1):60--80, April-June 2007.","journal-title":"International Journal of Web Services Research"},{"key":"e_1_3_2_1_8_1","first-page":"3","volume-title":"Proc. of the 8th Symposium on Fault-Tolerance Computing","author":"Chen L.","year":"1978","unstructured":"L. Chen and A. Avizienis . N-version programming: A fault-tolerance approach to reliability of software operation . In Proc. of the 8th Symposium on Fault-Tolerance Computing , pages 3 -- 9 , 1978 . L. Chen and A. Avizienis. N-version programming: A fault-tolerance approach to reliability of software operation. In Proc. of the 8th Symposium on Fault-Tolerance Computing, pages 3--9, 1978."},{"key":"e_1_3_2_1_10_1","volume-title":"An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics, 10(24)","author":"Chen T. Y.","year":"2009","unstructured":"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 . 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."},{"issue":"15","key":"e_1_3_2_1_11_1","first-page":"923","article-title":"Fault-based testing without the need of oracles","volume":"44","author":"Chen T. Y.","year":"2002","unstructured":"T. Y. Chen , T. H. Tse , and Z. Q. Zhou . Fault-based testing without the need of oracles . Information and Software Technology , 44 ( 15 ): 923 -- 931 , 2002 . T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Fault-based testing without the need of oracles. Information and Software Technology, 44(15):923--931, 2002.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566202"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809085.1809097"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800175.809889"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/256562.256933"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1318471.1318554"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECSE.2009.5069157"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECSE.2009.5069163"},{"key":"e_1_3_2_1_19_1","volume-title":"Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes. Physiological Measurement, 25(4)","author":"Hovorka R.","year":"2004","unstructured":"R. Hovorka Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes. Physiological Measurement, 25(4) , 2004 . R. Hovorka et al. Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes. Physiological Measurement, 25(4), 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.36"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(94)00016-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_24_1","first-page":"867","volume-title":"Proc. of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE)","author":"Murphy C.","year":"2008","unstructured":"C. Murphy , G. Kaiser , L. Hu , and L. Wu . Properties of machine learning applications for use in metamorphic testing . In Proc. of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE) , pages 867 -- 872 , 2008 . C. Murphy, G. Kaiser, L. Hu, and L. Wu. Properties of machine learning applications for use in metamorphic testing. In Proc. of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 867--872, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572295"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of the 2011 conference on Theory of Modeling and Simulation\/Discrete Events Simulation (TMS\/DEVS11)","author":"Raunak M.","year":"2011","unstructured":"M. Raunak , L. Osterweil , and A. Wise . Developing discrete event simulations from rigorous process definitions . In Proc. of the 2011 conference on Theory of Modeling and Simulation\/Discrete Events Simulation (TMS\/DEVS11) , 2011 . M. Raunak, L. Osterweil, and A. Wise. Developing discrete event simulations from rigorous process definitions. In Proc. of the 2011 conference on Theory of Modeling and Simulation\/Discrete Events Simulation (TMS\/DEVS11), 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEHC.2009.5069608"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1162708.1162736"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2003.08.003"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2005.42"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_33_1","first-page":"449","article-title":"A software framework for creating patient specific geometric models from medical imaging data for simulation based medical planning of vascular surgery","volume":"2208","author":"Wilson N.","year":"2001","unstructured":"N. Wilson , K. Wang , and R. W. Dutton . A software framework for creating patient specific geometric models from medical imaging data for simulation based medical planning of vascular surgery . LNCS , 2208\/2001 : 449 -- 456 , 2001 . N. Wilson, K. Wang, and R. W. Dutton. A software framework for creating patient specific geometric models from medical imaging data for simulation based medical planning of vascular surgery. LNCS, 2208\/2001:449--456, 2001.","journal-title":"LNCS"},{"key":"e_1_3_2_1_34_1","unstructured":"A. Wise. JSim agent behavior specification language. http:\/\/laser.cs.umass.edu\/documentation\/jsim.  A. Wise. JSim agent behavior specification language. http:\/\/laser.cs.umass.edu\/documentation\/jsim."}],"event":{"name":"ICSE11: International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Waikiki, Honolulu HI USA","acronym":"ICSE11"},"container-title":["Proceedings of the 3rd Workshop on Software Engineering in Health Care"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987993.1988003","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1987993.1988003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:25Z","timestamp":1750244785000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987993.1988003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,22]]},"references-count":32,"alternative-id":["10.1145\/1987993.1988003","10.1145\/1987993"],"URL":"https:\/\/doi.org\/10.1145\/1987993.1988003","relation":{},"subject":[],"published":{"date-parts":[[2011,5,22]]},"assertion":[{"value":"2011-05-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}