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 - 2025/05/31 ER -