Youngsul Shin, Muhammad I. Hossain, Woo Jin Lee
[1] Cari Borras, "Overexposure of radiation therapy:problem recognition and follow-up measures," PanAmerican Health Organization, vol.20, pp.173-187, Aug.2006. [2] IEEE Std. 11073-10472-2010, IEEE Standards forHealth Informatics-Personal health device communicationPart 10472: Device specialization-Medication monitor,IEEE, Piscataway, NJ, 2010. [3] Pramod V. Koppol, Richard H. Carver, and Kuo-Chung Tai, "Incremental Integration Testing ofConcurrent Programs," IEEE Transactions on SoftwareEngineering, vol.28, pp.607-623, Jun. 2002. [4] Nikolai Tillmann and Wolfram Schulte, "Unit TestsReloaded: Parameterized Unit Testing with SymbolicExecution," IEEE Software, vol.23, pp.38-47, Jul. 2006. [5] A. Askarunisa, K. A. J. Punitha, and A.M. Abirami,"Black Box Test Case Prioritization Techniques forSemantic Based Composite Web Services Using OWL-S," 2011 International Conference on Recent Trends inInformation Technology, pp.1215-1220, Jun. 2011.Test CoverageTest PathTestNumberNodesConditionCoverageTP11, 2, 3, 4, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 12,13, 14, 15, 16, 17, 18, 19, 20TP21, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15,12, 18, 19, 20TP3 1, 2, 3, 7, 8, 9, 11BranchCoverageTP11, 2, 3, 4, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 12,13, 14, 15, 16, 17, 18, 19, 20TP21, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15,12, 18, 19, 20TP3 1, 2, 3, 7, 8, 9, 11ReturnCoverageTP11, 2, 3, 4, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 12,13, 14, 15, 16, 17, 18, 19, 20TP3 1, 2, 3, 7, 8, 9, 11494 [6] UML 2.3 Specification, OMG Unified ModelingLanguage Version 2.3, OMG, 2010. [7] M. Varsamou, T. Antonakopoulos, and N. Papandreou,"From Protocol Models to Their Implementation: AVersatile Testing Methodology," IEEE Design & Test ofComputers, vol.21 pp.416-428, Sept. 2004. [8] David Arney, Raoul Jetley, Paul Jones, Insup Lee, andOleg Sokolsky, "Formal Methods Based Development ofa PCA Infusion Pump Reference Model: Generic InfusionPump (GIP) Project," Joint Workshop on HighConfidence Medical Devices, Software, and Systems andMedical Device Plug-and-Play Interoperability, pp.23-33,June. 2007. [9] E. Moretti, G. Chanteperdrix, and A. Osorio, “Newalgorithms for control-flow graph structuring,” FifthEuropean Conference on Software Maintenance andReengineering, pp.184-187, 2001. [10] F. Wotawa, and W Krenn, “Knowledge Extractionfrom C-Code,” Fifth Workshop on Intelligent Solutions inEmbedded Systems, pp. 49-60, Jun. 2007. [11] Karl J.Ottenstein, and Linda .M. Ottenstein “Theprogram dependence graph in a software developmentenvironment,” In Proceedings of the first ACMSIGSOFT/SIGPLAN software engineering symposium onPractical software development environments, May 1984. [12] Mary Jean Harrold, Brian Malloy, and GreggRothermel,“Efficient construction of program dependencegraphs,” In Proceedings of the 1993 ACM SIGSOFTinternational symposium on Software testing and analysis,vol.18, Jul. 1993. [13] Hiralal Agrawal, and Joseph R. Horgan, “Dynamicprogram slicing,” In Proceedings of ACM SIGPLAN ’90Symposium on Programming Language Design andImplementation, vol.25, Jun. 1990. [14] Ji-Xian Xiao, and Fang-Ling Lu, “An improvementof the shortest path algorithm based on Dijkstra algorithm,”The 2nd International Conference on Computer andAutomation Engineering (ICCAE), vol.2, pp.383-385,Feb. 2010. [15] Yu Dong, Mengxiang Lin, Kai Yu, Yi Zhou, andYinli Chen, “Achieving High Branch Coverage withFewer Paths,” IEEE 35th Annual Computer Software andApplications Conference Workshops (COMPSACW), pp.155-160, Jul. 2011. [16] K. Ghani, and J. A Clark, “Automatic Test DataGeneration for Multiple Condition and MCDC Coverage,”Fourth International Conference on Software EngineeringAdvances, pp.152-157, Sept. 2009. [17] OpenHealth Project, http://openhealth.morfeo-project.org/.
Important Links:
Go Back
