FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states - Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan (Science of computer programming, 2018)
Keywords: Automated test sequence generation; Function block diagram; SMT solver; Structural testing; Structural testing; Automated test sequence generation; SMT solver; Function block diagram