1. Automated test case generation for FBD programs implementing reactor protection system software. (5th September 2014) Authors: Jee, Eunkyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang‐Soo; Bae, Doo‐Hwan; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 8(2014) Page Start: 608 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗