{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:15:21Z","timestamp":1755998121331},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_30","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"465-479","source":"Crossref","is-referenced-by-count":13,"title":["Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis"],"prefix":"10.1007","author":[{"given":"Donghwan","family":"Shin","sequence":"first","affiliation":[]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"International Electrotechnical Commission: Programmable controllers : Part 3: Programming languages. IEC, Geneva (2003)"},{"key":"30_CR2","unstructured":"Doosan Heavy Industry and Construction: KNICS-RPS-SDS231-01, Rev. 01., Software Design Specification for the Bistable Processor of the Reactor Protection System (2006)"},{"key":"30_CR3","unstructured":"USNRC: Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, Regulatory Guide 1.171 (1997)"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1016\/j.infsof.2009.01.003","volume":"51","author":"E. Jee","year":"2009","unstructured":"Jee, E., Yoo, J., Cha, S., Bae, D.: A data flow-based structural testing technique for FBD programs. Information and Software Technology\u00a051, 1131\u20131139 (2009)","journal-title":"Information and Software Technology"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"J.H. Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Transactions on Software Engineering\u00a032, 608\u2013624 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"K.N. King","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A fortran language system for mutation-based software testing. Software: Practice and Experience\u00a021, 685\u2013718 (1991)","journal-title":"Software: Practice and Experience"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y. Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering\u00a037, 649\u2013678 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1109\/ICSE.1994.296778","volume-title":"16th International Conference on Software Engineering","author":"M. Hutchins","year":"1994","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: 16th International Conference on Software Engineering, pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/ICSTW.2009.30","volume-title":"International Conference on Software Testing, Verification and Validation Workshops","author":"N. Li","year":"2009","unstructured":"Li, N., Praphamontripong, U., Offutt, A.J.: An experimental comparison of four unit test criteria: Mutation, edge-pair, all-uses and prime path coverage. In: International Conference on Software Testing, Verification and Validation Workshops, pp. 220\u2013229. IEEE Press, New York (2009)"},{"key":"30_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: France, R., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.270","volume":"13","author":"A. Andrews","year":"2003","unstructured":"Andrews, A., France, R., Ghosh, S., Craig, G.: Test adequacy criteria for UML design models. Software Testing, Verification and Reliability\u00a013, 95\u2013127 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"30_CR12","series-title":"Department of Computer Science","volume-title":"A survey of UML-based coverage criteria for software testing","author":"J.A. Mcquillan","year":"2005","unstructured":"Mcquillan, J.A., Power, J.F.: A survey of UML-based coverage criteria for software testing. Department of Computer Science. NUI Maynooth, Co. Kildare, Ireland (2005)"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1081180.1081186","volume-title":"10th International Workshop on Formal Methods for Industrial Critical Systems","author":"A. Lakehal","year":"2005","unstructured":"Lakehal, A., Parissis, I.: Structural test coverage criteria for lustre programs. In: 10th International Workshop on Formal Methods for Industrial Critical Systems, pp. 35\u201343. ACM Press, New York (2005)"},{"key":"30_CR14","first-page":"239","volume-title":"5th International Workshop on Discrete Event Systems \u2013Discrete Event Systems, Analysis and Control","author":"A. Mader","year":"2000","unstructured":"Mader, A.: A classification of PLC models and applications. In: 5th International Workshop on Discrete Event Systems \u2013Discrete Event Systems, Analysis and Control, pp. 239\u2013247. Springer, Heidelberg (2000)"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Jee, E.: A Data Flow-Based Structural Testing Technique for FBD Programs. Ph.D Thesis. KAIST Press, Republic of Korea (2009)","DOI":"10.1016\/j.infsof.2009.01.003"},{"key":"30_CR16","unstructured":"Yices SMT solver, http:\/\/yices.csl.sri.com"},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.ress.2004.07.019","volume":"88","author":"Y. Oh","year":"2005","unstructured":"Oh, Y., Yoo, J., Cha, S., Seong Son, H.: Software safety analysis of function block diagrams using fault trees. Reliability Engineering & System Safety\u00a088, 215\u2013228 (2005)","journal-title":"Reliability Engineering & System Safety"},{"key":"30_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"A.J. Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology\u00a05, 99\u2013118 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:12:40Z","timestamp":1606187560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}