Exhaustive testing of safety-critical software for reactor protection system. - Sang Hun Lee; Seung Jun Lee; Sung Min Shin; Eun-chan Lee; Hyun Gook Kang (Reliab. Eng. Syst. Saf., 2020)