Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.

Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee

Browse the full SAFECOMP paper archive.