Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

Browse the full ICST paper archive.