Automated test case generation for FBD programs implementing reactor protection system software

Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae. Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test., Verif. Reliab., 24(8):608-628, 2014. [doi]

Abstract

Abstract is missing.