Structural Concolic Testing for Sequential Function Chart
Graphical programming languages allow for well structured software and support comprehensibility and maintainability of the code. As for industrial applications,