{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T04:03:47Z","timestamp":1748837027687,"version":"3.41.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296425"},{"type":"electronic","value":"9783319296432"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29643-2_13","type":"book-chapter","created":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T05:02:37Z","timestamp":1453698157000},"page":"171-180","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing"],"prefix":"10.1007","author":[{"given":"Yanjun","family":"Sun","sequence":"first","affiliation":[]},{"given":"G\u00e9rard","family":"Memmi","sequence":"additional","affiliation":[]},{"given":"Sylvie","family":"Vignes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,26]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Enoiu, E.P., Causevic, A., Ostrand, T.J., Weyuker, E.J., Sundmark, D., Pettersson, P.: Automated test generation using model-checking: an industrial evaluation. In: ICTSS 2013","DOI":"10.1007\/s10009-014-0355-9"},{"key":"13_CR2","unstructured":"Collective. Cluster CONNEXION: Sp\u00e9cification d\u2019un environnement de verification de la partie contr\u00f4le-commande. Livrable 2.1.2 (2014)"},{"key":"13_CR3","unstructured":"Devic, C., Morilhat, P.: CONNEXION Contr\u00f4le Commande Nucl\u00e9aire Num\u00e9rique pour l\u2019Export et la r\u00e9novatION\u2014coupler g\u00e9nie logiciel et ing\u00e9nierie syst\u00e8me: source d\u2019innovations. G\u00e9nie Logiciel, 104:2\u201311, mars (2013)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"Alexander Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: 10 Methodological Issues in Model-Based Testing. In: Broy, M. et al. (eds.) Model-Based Testing of Reactive Systems, LNCS 3472, pp. 281\u2013291 (2005)"},{"key":"13_CR5","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Working Paper Series (2006)"},{"key":"13_CR6","unstructured":"IEC61804-2: Function blocks (FB) for process control\u2014Part 2: Specification of FB concept, 2.0 edition (2006)"},{"key":"13_CR7","unstructured":"IEC61131-3: Programmable controllers\u2014Part 3: Programming languages, 3.0 edition (2013)"},{"key":"13_CR8","unstructured":"IEC61513: Nuclear power plants\u2014instrumentation and control important to safety\u2014general requirements for systems (2011)"},{"key":"13_CR9","unstructured":"IEC60880: Nuclear power plants\u2014instrumentation and control systems important to safety\u2014software aspects for computer-based systems performing category A functions (2006)"},{"key":"13_CR10","unstructured":"INCOSE Systems Engineering Vision 2020. INCOSE (2007)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Fisher, A., Jacobson, C., Lee, E., Murray, R., Sangiovanni-Vincentelli, A., Scholte, E.: Industrial cyber-physical systems\u2014icyphy. In: Proceedings of the Fourth International Conference on Complex Systems Design & Management, pp. 21\u201337 (2013)","DOI":"10.1007\/978-3-319-02812-5_2"},{"key":"13_CR12","unstructured":"Utting, M., Legeard, B.: Practical Model Based Testing: A Tools Approach. Morgan Kaufmann (2007)"},{"issue":"4","key":"13_CR13","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A., May, J.H.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Piwowarski, P., Ohba, M., Caruso, J.: Coverage Measurement Experience During Function Test. In: ICSE 93 Proceedings of the 15th International Conference on Software Engineering, pp. 287\u2013301 (1993)","DOI":"10.1109\/ICSE.1993.346035"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0031805","volume":"1166","author":"D Geist","year":"1996","unstructured":"Geist, D., Farkas, M., Landver, A., Lichtenstein, Y., Ur, S., Wolfsthal, Y.: Coverage-directed test generation using symbolic techniques. Lect. Notes Comput. Sci. 1166, 143\u2013158 (1996)","journal-title":"Lect. Notes Comput. Sci."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Ratzaby, G., Ur, S., Wolfsthal, Y.: Coverability Analysis Using Symbolic Model Checking, CHARME 2001. In: Lectured Notes in Computer Science, vol. 2144. Springer (2001)","DOI":"10.1007\/3-540-44798-9_13"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Maggiore, A.: Enhancing Test Coverage by Back-tracking Model-checker Counterexamples. In: Electronic Notes in Theoretical Computer Science, vol. 116, pp. 199\u2013211 (2004)","DOI":"10.1016\/j.entcs.2004.02.077"},{"key":"13_CR18","unstructured":"Memmi, G.: Integrated circuits analysis, system and method using model-checking. US Patent 7493247 (2009)"},{"key":"13_CR19","unstructured":"Rayadurgam, S., Heimdahl, M.P.: Coverage Based Test-Case Generation using Model Checkers. IEEE (2001)"},{"key":"13_CR20","unstructured":"Gallois, J., Pierron, J., Rapin, N.: Validation test production assistance. ICCSEA 2013"},{"key":"13_CR21","unstructured":"A practical guide to SysML: The Systems Modeling Language. Morgan Kaufmann\/OMG Press (2011)"},{"key":"13_CR22","unstructured":"Gaudin, E.: Automatic test generation based on functional coverage. UCAAT (2014)"},{"key":"13_CR23","unstructured":"Chastrette, F., Vallee, F., Coyette, L.: Application of model-based testing to validation of new nuclear I&C architecture. ICCSEA 2013"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proc. IEEE 79, 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Marre, B., Arnould, A.: Test Sequences generation from LUSTRE Descriptions: GATEL. In: 15th IEEE Conference on Automated SW Engineering, pp. 47\u201360 (2000)","DOI":"10.1109\/ASE.2000.873667"},{"key":"13_CR26","unstructured":"LeGuen, H., Thelin, T.: Practical Experiences with Statistical Usage Testing. In: Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP\u201904)"},{"key":"13_CR27","unstructured":"Neyret, M., Dormoy, F., Blanchon, J.: M\u00e9thodologie de validation des sp\u00e9cification fonctionnelles du contr\u00f4le-commande\u2014Application au cas d\u2019\u00e9tude du Syst\u00e8me de R\u00e9frig\u00e9ration interm\u00e9diaire (SRI). G\u00e9nie Logiciel, hors-s\u00e9ries:12\u201325, mai (2014)"}],"container-title":["Advances in Intelligent Systems and Computing","Complex Systems Design & Management Asia"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29643-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T06:44:42Z","timestamp":1748760282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29643-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296425","9783319296432"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29643-2_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}