MOS: An integrated model-based and search-based testing tool for Function Block Diagrams.

Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson

Browse the full ICSE paper archive.