SODA

Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker

Enoiu, Eduard Paul and Sundmark, Daniel and Pettersson, Paul (2013) Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker. In: International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012).

Full text not available from this repository.

Official URL: http://www.es.mdh.se/publications/2763-


Item Type:Conference or Workshop Item (Paper)
ID Code:5633
Deposited By:Daniel Sundmark
Deposited On:24 Jan 2014 15:00
Last Modified:24 Jan 2014 15:00

Repository Staff Only: item control page