{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:27:26Z","timestamp":1761128846678,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156502"},{"type":"electronic","value":"9783642156519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_17","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T09:12:19Z","timestamp":1281431539000},"page":"223-236","source":"Crossref","is-referenced-by-count":9,"title":["Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram"],"prefix":"10.1007","author":[{"given":"Eunkyoung","family":"Jee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suin","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sungdeok","family":"Cha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"IEC: International Standard for Programmable Controllers: Programming Languages Part 3"},{"key":"17_CR2","unstructured":"USNRC: Software Test Documentation for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, Regulatory Guide 1.170 (September 1997)"},{"key":"17_CR3","unstructured":"USNRC: Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, Regulatory Guide 1.171 (September 1997)"},{"issue":"7","key":"17_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(7), 1131\u20131139 (2009)","journal-title":"Information and Software Technology"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Mader, A.: A classification of PLC models and applications. In: Proceedings of the 5th International Workshop on Discrete Event Systems (2000)","DOI":"10.1007\/978-1-4615-4493-7_24"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Lewis, R.: Programming industrial control systems using IEC 1131-3, IEE Control Engineering Series, Revised ed. The Institute of Electrical Engineers (1998)","DOI":"10.1049\/PBCE050E"},{"key":"17_CR7","unstructured":"Yoo, J., Park, S., Bang, H., Kim, T., Cha, S.: Direct control flow testing on function block diagrams. In: Proceedings of the 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety (October 2004)"},{"key":"17_CR8","unstructured":"Richter, S., Wittig, J.: Verification and validation process for safety I&C systems. Nuclear Plant Journal, 36\u201340 (May-June 2003)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Baresi, L., Mauri, M., Monti, A., Pezze, M.: Formal validation, and code generation for programmable controllers. In: Proceedings of the IEEE International Conference on System, Man, and Cybernetics, pp. 2437\u20132442 (October 2000)","DOI":"10.1109\/ICSMC.2000.884357"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Jee, E., Yoo, J., Cha, S.: Control and data flow testing on function block diagrams. In: Proceedings of the 24th International Conference on Computer Safety, Reliability and Security, pp. 67\u201380 (September 2005)","DOI":"10.1007\/11563228_6"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Jee, E., Jeon, S., Bang, H., Cha, S., Yoo, J., Park, G., Kwon, K.: Testing of timer function blocks in FBD. In: Proceedings of the 13th Asia Pacific Software Engineering Conference, pp. 243\u2013250 (December 2006)","DOI":"10.1109\/APSEC.2006.55"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1093\/comjnl\/bxm021","volume":"52","author":"Q. Yang","year":"2009","unstructured":"Yang, Q., Li, J.J., Weiss, D.M.: A survey of coverage-based testing tools. The Computer Journal\u00a052(5), 589\u2013597 (2009)","journal-title":"The Computer Journal"},{"key":"17_CR13","unstructured":"Parasoft: Insure++, http:\/\/www.parasoft.com\/jsp\/products\/insure.jsp"},{"key":"17_CR14","unstructured":"IBM: Rational Test RealTime, http:\/\/www-01.ibm.com\/software\/awdtools\/test\/realtime\/"},{"key":"17_CR15","unstructured":"Aivosto: VB Watch, http:\/\/www.aivosto.com\/vbwatch.html"},{"key":"17_CR16","unstructured":"VectorSoftware: VectorCAST\/Cover, http:\/\/www.vectorcast.com\/software-testing-products\/embedded-code-coverage.php"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Lakehal, A., Parissis, I.: Structural test coverage criteria for Lustre programs. In: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (September 2005)","DOI":"10.1145\/1081180.1081186"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Lakehal, A., Parissis, I.: Lustructu: A tool for the automatic coverage assessment of Lustre programs. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, pp. 301\u2013310 (November 2005)","DOI":"10.1109\/ISSRE.2005.26"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Jee, E.: A Data Flow-Based Structural Testing Technique for FBD Programs. PhD thesis, KAIST (2009)","DOI":"10.1016\/j.infsof.2009.01.003"},{"key":"17_CR20","unstructured":"Korea Atomic Energy Research Institute: KNICS-RPS-STR141 (Rev.00) - Software Test Result for the Bistable Processor of the Reactor Protection System (2006)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T01:30:19Z","timestamp":1740360619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}