CompleteTest

Automatic Test Generation for Function Block Diagrams

Publications Related to CompleteTest

Enoiu, E. P., Causevic, A., Sundmark, D., & Pettersson, P. (2016). A Controlled Experiment in Testing of Safety-Critical Embedded Software. In IEEE International Conference on Software Testing, Verification and Validation.
(Details)

Enoiu, E. P. (2014, October). Model Checking-Based Software Testing for Function Block Diagrams.
(Details)

Enoiu, E. P., Causevic, A., Ostrand, T., Weyuker, E., Sundmark, D., & Pettersson, P. (2014). Automated Test Generation using Model-Checking: An Industrial Evaluation. International Journal On Software Tools For Technology Transfer, 1(1), 1—18.
(Details)

Enoiu, E. P., Sundmark, D., & Pettersson, P. (2013). Using Logic Coverage to Improve Testing Function Block Diagrams. In A. U. Hüsnü Yenigün Cemal Yilmaz (Ed.), International Conference on Testing Software and Systems (1—16). Springer Berlin Heidelberg.
(Details)

Enoiu, E. P., Doganay, K., Bohlin, M., Sundmark, D., & Pettersson, P. (2013). MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams. In 35th International Conference on Software Engineering (ICSE) – First International Workshop on Combining Modelling and Search-Based Software Engineering. IEEE.
(Details)

Enoiu, E. P., Sundmark, D., & Pettersson, P. (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). IEEE.
(Details)