TY  - JOUR

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

JO  - Software Testing, Verification and Reliability

PY  - 2014/09/05

AU  - Jee E

AU  - Shin D

AU  - Cha S

AU  - Lee J-S

AU  - Bae D-H

ED  - 

DO  - DOI: 10.1002/stvr.1548

PB  - Wiley

VL  - 24

IS  - 8

SP  - 608

EP  - 628

Y2  - 2024/10/23

ER  -