Fault Detection Coverage Measurement Using a Fault Imitation Method for Nuclear Digital Controller

Young-Jun Lee, Jang-Soo Lee, Young-Kuk Kim

Int'l Conf. Software Eng. Research and Practice (SERP'15), 2015.7