@inproceedings{fd2189712d7d4593a6dcf1ee4be8b07e,
title = "A model-based testing process for enhancing structural coverage in functional testing",
abstract = "Developing complex safety-critical systems usually involves developing models as abstractions in the upstream phases of design. It is still today often challenging to convince the industry that performing functional testing on models of systems may help reducing the cost of system testing. This article presents a new model-based testing process. Part of the “CONNEXION” French I\&C methodology project, it combines a vast number of verification tools. In this article, we focus on the integration of a specification-based test generation tool, a model-checker and an environment for model test execution to enhance structural coverage rate. To this end, we define a novel process describing how to extend the functional test bed to enhance structural coverage by generating new test cases reaching so far uncovered branches using model-checking.",
author = "Yanjun Sun and G{\'e}rard Memmi and Sylvie Vignes",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 2nd International Asia-Pacific Conference on Complex System Design and Management, CSD and M Asia 2016 ; Conference date: 24-02-2016 Through 26-02-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-29643-2\_13",
language = "English",
isbn = "9783319296425",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Verlag",
pages = "171--180",
editor = "Lui, \{Pao Chuen\} and Fong, \{Saik Hay\} and Michel-Alexandre Cardin and Daniel Krob and Tan, \{Yang How\}",
booktitle = "Complex Systems Design and Management Asia - Smart Nations – Sustaining and Designing",
}