Daniel Sundmark

Model-based testing for software safety: a systematic mapping study

Obstacles and features of Farm Management Information Systems: A systematic literature review

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

Automated test generation using model checking: an industrial evaluation