Abstract: This paper presents innovative methodologies for the automated generation of test cases and model-based grey-box testing of Function Block Diagram (FBD) algorithms implemented within ...