Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee. Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 223-236, Springer, 2010. [doi]
Abstract is missing.