FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
Keywords: Function block diagram; Automated test sequence generation; Structural testing; SMT solver;