{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:01:13Z","timestamp":1725541273440},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642334771"},{"type":"electronic","value":"9783642334788"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33478-8_76","type":"book-chapter","created":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T01:27:16Z","timestamp":1348795636000},"page":"612-625","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Method for Testing Reactive System from Symbolic Model"],"prefix":"10.1007","author":[{"given":"Yongbing","family":"Wan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongwei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"76_CR1","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems: safety. Springer-Verlag, New York, Inc. (1995)","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"8","key":"76_CR2","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1109\/TSE.2007.70707","volume":"33","author":"C. Constant","year":"2007","unstructured":"Constant, C., Thierry, J., Marchand, H.: Integration Formal Verification and Conformance Testing for Reactive System. IEEE Transactions on Software Engineering\u00a033(8), 558\u2013574 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"76_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"76_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L. Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"76_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"key":"76_CR6","first-page":"222","volume":"32","author":"L. Shuhao","year":"2004","unstructured":"Shuhao, L., Ji, W., Wei, D.: A Framework of Property-Oriented Testing of Reactive Systems. Acta Electronica Sinica\u00a032, 222\u2013225 (2004)","journal-title":"Acta Electronica Sinica"},{"issue":"3","key":"76_CR7","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 Validation Reactive System. Software Testing, Verification and Reliability\u00a013(3), 157\u2013180 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"76_CR8","unstructured":"Wilkerson, L., Patricia, D.L.: Modeling and Testing Interruptions in Reactive System Using Symbolic Models. In: Proc. of the 2nd Brazilian Workshop on Systematic and Automated Software Testing, pp. 34\u201343 (2009)"},{"key":"76_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11754008_1","volume-title":"Testing of Communicating Systems","author":"C. Gaston","year":"2006","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic Execution Techniques for Test Purpose Definition. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 1\u201318. Springer, Heidelberg (2006)"},{"key":"76_CR10","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)"},{"issue":"4","key":"76_CR11","first-page":"297","volume":"7","author":"J. Claude","year":"2002","unstructured":"Claude, J., Thierry, J.: TGV\u00a0: theory, principles and algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2002)","journal-title":"Software Tools for Technology Transfer"},{"key":"76_CR12","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":"76_CR13","doi-asserted-by":"crossref","unstructured":"Koopman, P., Plasmeijer, R.: Testing Reactive System with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol. 4, pp. 111\u2013129 (2003)","DOI":"10.2307\/j.ctv36xvxxx.11"},{"key":"76_CR14","doi-asserted-by":"crossref","unstructured":"Cartaxo, E.G., Andrade, W.L., Neto, F.G.O.: LTSBT: A tool to generate and select functional test cases for embedded systems. In: Proceedings of the 2008 ACM Symposium on Applied Computing, vol.\u00a02, pp. 1540\u20131544 (2008)","DOI":"10.1145\/1363686.1364045"},{"key":"76_CR15","unstructured":"Li, S., Ji, W., Wei, D.: Property-oriented testing of real-time system. In: Proc. of the 11th Asia-Pacific Software Engineering Conference, pp. 358\u2013365. IEEE Computer Society (2004)"},{"key":"76_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-10452-7_4","volume-title":"Formal Methods: Foundations and Applications","author":"W.L. Andrade","year":"2009","unstructured":"Andrade, W.L., Machado, P.D.L.: Interruption Testing of Reactive Systems. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 37\u201353. Springer, Heidelberg (2009)"},{"key":"76_CR17","unstructured":"Ahmed, K.: Complete Test Graph Synthesis for Symbolic Real-time Systems. Electronic Notes in Theoretical Computer Science, 79\u2013100 (2003)"},{"key":"76_CR18","unstructured":"Tretmans, J., Brinksma, E.: TroX: automated model-based testing. In: Proc. First European Conference on Model-Driven Software Engineering, pp. 31\u201343 (2003)"},{"key":"76_CR19","doi-asserted-by":"crossref","unstructured":"Simao, A., Petrenko, A.: Generating asynchronous test cases from test purposes. Information and Software Technology, 1252\u20131262 (2011)","DOI":"10.1016\/j.infsof.2011.06.006"},{"key":"76_CR20","doi-asserted-by":"crossref","unstructured":"Thierry, J.: Symbolic Model-based Test Selection. Electronic Notes in Theoretical Computer Science, 167\u2013184 (2009)","DOI":"10.1016\/j.entcs.2009.05.051"},{"key":"76_CR21","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\u2013121. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33478-8_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T23:56:32Z","timestamp":1687737392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33478-8_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334771","9783642334788"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33478-8_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}