{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:29:30Z","timestamp":1761676170379},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,3]],"date-time":"2014-07-03T00:00:00Z","timestamp":1404345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s10270-014-0428-y","type":"journal-article","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T10:26:07Z","timestamp":1404296767000},"page":"631-645","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Comprehensive analysis of FBD test coverage criteria using mutants"],"prefix":"10.1007","volume":"15","author":[{"given":"Donghwan","family":"Shin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,3]]},"reference":[{"key":"428_CR1","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J., Sandler, C., Badgett, T.: The Art of Software Testing. Wiley, New York (2011)"},{"key":"428_CR2","volume-title":"Testing in Software Development","author":"MA Ould","year":"1986","unstructured":"Ould, M.A., Unwin, C.: Testing in Software Development. Cambridge University Press, Cambridge (1986)"},{"key":"428_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, UK (2008)"},{"key":"428_CR4","unstructured":"Beizer, B.: Software Testing Techniques. Dreamtech Press, India (2003)"},{"key":"428_CR5","unstructured":"IEC Standard 1131\u20133, Part3: Programming Languages (1993)"},{"key":"428_CR6","unstructured":"Doosan Heavy Industry and Construction: Software Design Specification for the Bistable Processor of the Reactor Protection System. KNICS-RPS-SDS231-01, Rev. 01 (2006)"},{"key":"428_CR7","unstructured":"NRC. Regulatory guide 1.171, software unit testing for digital computer software used in safety systems of nuclear power plants. Tech. rep. (1997)"},{"key":"428_CR8","unstructured":"NRC, Draft regulatory guide dg-1208, proposed revision 1 of regulatory guide 1.171. Tech. rep. (2012)"},{"issue":"7","key":"428_CR9","doi-asserted-by":"crossref","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. Inf. Softw. Technol. 51(7), 1131\u20131139 (2009)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"428_CR10","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"JH 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 Trans. Softw. Eng. 32(8), 608\u2013624 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"428_CR11","doi-asserted-by":"crossref","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 Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"428_CR12","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"KN King","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A fortran language system for mutation-based software testing. Softw. Pract. Exp. 21(7), 685\u2013718 (1991)","journal-title":"Softw. Pract. Exp."},{"key":"428_CR13","doi-asserted-by":"crossref","unstructured":"Shin, D., Jee, E., Bae, D.-H.: Empirical evaluation on fbd model-based test coverage criteria using mutation analysis. In: Model Driven Engineering Languages and Systems, pp. 465\u2013479. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_30"},{"key":"428_CR14","doi-asserted-by":"crossref","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria. In: Proceedings of the 16th international conference on Software engineering, pp. 191\u2013200. IEEE Computer Society Press, Silver Spring (1994)","DOI":"10.1109\/ICSE.1994.296778"},{"key":"428_CR15","unstructured":"Li, N., Praphamontripong, U., Offutt, 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, 2009. ICSTW\u201909, pp. 220\u2013229. IEEE, New York (2009)"},{"key":"428_CR16","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from uml specifications. In: UML99-The Unified Modeling Language, pp. 416\u2013429. Springer, Berlin (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"key":"428_CR17","doi-asserted-by":"crossref","unstructured":"Kim, Y.G., Hong, H.S., Bae, D.-H., Cha, S.-D.: Test cases generation from uml state diagrams. In: Software, IEE Proceedings-, vol. 146, pp. 187\u2013192. IET (1999)","DOI":"10.1049\/ip-sen:19990602"},{"key":"428_CR18","doi-asserted-by":"crossref","unstructured":"Rountev, A., Kagan, S., Sawin, J.: Coverage criteria for testing of object interactions in sequence diagrams. In: Fundamental Approaches to Software Engineering, pp. 289\u2013304. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31984-9_22"},{"key":"428_CR19","doi-asserted-by":"crossref","unstructured":"Briand, L., Labiche, Y., Wang, Y.: Using simulation to empirically investigate test coverage criteria based on statechart. In: Proceedings of the 26th International Conference on Software Engineering, pp. 86\u201395. IEEE Computer Society, Berlin (2004)","DOI":"10.1109\/ICSE.2004.1317431"},{"issue":"2","key":"428_CR20","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1002\/stvr.394","volume":"19","author":"A Lakehal","year":"2009","unstructured":"Lakehal, A., Parissis, I.: Structural coverage criteria for lustre\/scade programs. Softw. Test. Verif. Reliab. 19(2), 133\u2013154 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"428_CR21","doi-asserted-by":"crossref","unstructured":"Papailiopoulou, V., Rajan, A., Parissis, I.: Structural test coverage criteria for integration testing of lustre\/scade programs. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) Formal Methods for Industrial Critical Systems, pp. 85\u2013101. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24431-5_8"},{"key":"428_CR22","doi-asserted-by":"crossref","unstructured":"Alyokhin, V., Elbel, B., Rothfelder, M., Pretschner, A.: Coverage metrics for continuous function charts. In: 15th International Symposium on Software Reliability Engineering, 2004. ISSRE 2004, pp. 257\u2013268. IEEE, New York (2004)","DOI":"10.1109\/ISSRE.2004.15"},{"issue":"3","key":"428_CR23","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/32.221133","volume":"19","author":"PG Frankl","year":"1993","unstructured":"Frankl, P.G., Weyuker, E.J.: A formal analysis of the fault-detecting ability of testing methods. IEEE Trans. Softw. Eng. 19(3), 202\u2013213 (1993)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"428_CR24","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/32.491648","volume":"22","author":"H Zhu","year":"1996","unstructured":"Zhu, H.: A formal analysis of the subsume relation between software test adequacy criteria. IEEE Trans. Softw. Eng. 22(4), 248\u2013255 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"428_CR25","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A., May, J.H.: Software unit test coverage and adequacy. ACM Comput. Surv. (CSUR) 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"428_CR26","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In Software Engineering? ESEC\/FSE99, pp. 146\u2013162. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48166-4_10"},{"key":"428_CR27","doi-asserted-by":"crossref","unstructured":"Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the, pp. 83\u201391. IEEE, New York (2001)","DOI":"10.1109\/ECBS.2001.922409"},{"key":"428_CR28","doi-asserted-by":"crossref","unstructured":"Staats, M., Gay, G., Whalen, M., Heimdahl, M.: On the danger of coverage directed test case generation. In: Fundamental Approaches to Software Engineering, pp. 409\u2013424. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28872-2_28"},{"key":"428_CR29","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P., George, D.: Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pp. 176\u2013185. IEEE Computer Society, Silver Spring (2004)","DOI":"10.1109\/ASE.2004.1342735"},{"issue":"3","key":"428_CR30","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1109\/TSE.2011.44","volume":"38","author":"A Arcuri","year":"2012","unstructured":"Arcuri, A.: A theoretical and empirical analysis of the role of test sequence length in software testing for structural coverage. IEEE Trans. Softw. Eng. 38(3), 497\u2013519 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"428_CR31","doi-asserted-by":"crossref","unstructured":"Mader, A.: A classification of plc models and applications. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems, pp. 239\u2013246. Springer, Berlin (2000)","DOI":"10.1007\/978-1-4615-4493-7_24"},{"issue":"3","key":"428_CR32","doi-asserted-by":"crossref","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. Reliab. Eng. Syst. Saf. 88(3), 215\u2013228 (2005)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"428_CR33","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM Trans. Softw. Eng. Methodol. (TOSEM) 5(2), 99\u2013118 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"428_CR34","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_24"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0428-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0428-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0428-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:58:23Z","timestamp":1559131103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0428-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,3]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["428"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0428-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,3]]}}}