{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:54:40Z","timestamp":1773154480934,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212195","type":"print"},{"value":"9783540247043","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_11","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"160-176","source":"Crossref","is-referenced-by-count":7,"title":["From Safety Verification to Safety Testing"],"prefix":"10.1007","author":[{"given":"Vlad","family":"Rusu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9ry","family":"Tschaen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Jeannet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S.: Formal test automation: a simple experiment. In: International Workshop on the Testing of Communicating Systems (IWTCS 1999), pp. 179\u2013196 (1996)","DOI":"10.1007\/978-0-387-35567-2_12"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/S0167-6423(99)00017-9","volume":"36","author":"M. Bozga","year":"2000","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L., Jard, C., J\u00e9ron, T., Kerbrat, A., Morel, P., Mounier, L.: Verification and test generation for the SSCOP protocol. Science of Computer Programming\u00a036(1), 27\u201352 (2000)","journal-title":"Science of Computer Programming"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-44585-4_7","volume-title":"Computer Aided Verification","author":"H. Chockler","year":"2001","unstructured":"Chockler, H., Kupferman, O., Kurshan, R.P., Vardi, M.Y.: A Practical Approach to Coverage in Model Checking. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 66\u201378. Springer, Heidelberg (2001)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: a Symbolic Test Generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 470\u2013475. Springer, Heidelberg (2002)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/BFb0035401","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Engels","year":"1997","unstructured":"Engels, A., Feijs, L.M.G., Mauw, S.: Test Generation for Intelligent Networks Using Model Checking. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 384\u2013398. Springer, Heidelberg (1997)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-24617-6_11","volume-title":"Formal Approaches to Software Testing","author":"J.C. Fernandez","year":"2004","unstructured":"Fernandez, J.C., Mounier, L., Pachon, C.: Property-oriented test generation. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 147\u2013163. Springer, Heidelberg (2004)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Heitmeyer, C.L.: Using Model Checking to Generate Tests from Requirements Specifications. In: ESEC \/ SIGSOFT FSE, pp. 146\u2013162 (1999)","DOI":"10.1007\/3-540-48166-4_10"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Hong","year":"2002","unstructured":"Hong, H., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Hoskote, Y.V., Kam, T., Ho, P.-H., Zhao, X.: Coverage Estimation for Symbolic Model Checking. In: Design Automation Conference, pp. 300\u2013305 (1999)","DOI":"10.1145\/309847.309936"},{"key":"11_CR10","unstructured":"ISO\/IEC. International Standard 9646, OSI-Open Systems Interconnection, Information Technology \u2013 Conformance Testing Methodology and Framework (1992)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification","author":"T. J\u00e9ron","year":"1999","unstructured":"J\u00e9ron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 108\u2013122. Springer, Heidelberg (1999)"},{"key":"11_CR12","unstructured":"J\u00e9ron, T., Marchand, H., Rusu, V., Tschaen, V.: Synth\u00e8se de contr\u00f4leurs pour une relation de conformit\u00e9. In: Mod\u00e9lisation des syst\u00e8mes r\u00e9actifs, MSR 2003 (2003)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O. Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model Checking of Safety Properties. Formal Methods in System Design\u00a019(3), 291\u2013314 (2001)","journal-title":"Formal Methods in System Design"},{"key":"11_CR14","volume-title":"Temporal verification of reactive systems. Vol. 1: Specification, Vol. 2: Safety","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems. Vol. 1: Specification, Vol. 2: Safety. Springer, Heidelberg (1991) (1995)"},{"key":"11_CR15","volume-title":"International Conference on Engineering of Complex Computer Systems (ICECCS 2001)","author":"P. Ammann","year":"2001","unstructured":"Ammann, P., Ding, W., Xu, D.: Using a Model Checker to Test Safety Properties. In: International Conference on Engineering of Complex Computer Systems (ICECCS 2001), IEEE Computer Society, Los Alamitos (2001)"},{"key":"11_CR16","unstructured":"Telelogic SDL products, http:\/\/www.telelogic.com\/products\/sdl"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1002\/stvr.274","volume":"13","author":"V. Rusu","year":"2003","unstructured":"Rusu, V.: Combining Formal Verification and Conformance Testing for Validating Reactive Systems. Software Testing, Verification, and Reliability\u00a013(3), 157\u2013180 (2003)","journal-title":"Software Testing, Verification, and Reliability"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Schmitt, M., Ek, A., Grabowski, J., Hogrefe, D., Koch, B.: Autolink \u2013 putting SDL-based test generation into practice. In: International Workshop on the Testing of Communicating Systems (IWTCS 1997), pp. 227\u2013244 (1997)","DOI":"10.1007\/978-0-387-35381-4_14"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:27:36Z","timestamp":1559330856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}