{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:31Z","timestamp":1725490231506},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75221-9_21","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T10:33:13Z","timestamp":1188469993000},"page":"467-471","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Test Generation Using a Temporal Logic with Constrained Events"],"prefix":"10.1007","author":[{"given":"Daguang","family":"Liu","sequence":"first","affiliation":[]},{"given":"Peng","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Huimin","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 470\u2013475. Springer, Heidelberg (2002)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods in Computer-Aided Design","author":"S.M. German","year":"2004","unstructured":"German, S.M., Janssen, G.: Tutorial on verification of distributed cache memory protocols. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, Springer, Heidelberg (2004)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-540-31980-1_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Jeannet","year":"2005","unstructured":"Jeannet, B., Jron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 349\u2013364. Springer, Heidelberg (2005)"},{"issue":"5","key":"21_CR5","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s11390-006-0765-6","volume":"21","author":"H. Pan","year":"2006","unstructured":"Pan, H., Lin, H.-M., Lv, Y.: Model checking data consistency for cache coherence protocols. J. of Computer Science and Technology\u00a021(5), 765\u2013775 (2006)","journal-title":"J. of Computer Science and Technology"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"},{"key":"21_CR7","unstructured":"Rusu, V., Marchand, H., J\u00e9ron, T.: Verification and symbolic test generation for safety properties. Technical Report 5285, INRIA (August 2004)"},{"key":"21_CR8","unstructured":"Tretmans, J., Brinksma, E.: C\u00f4te de Resyste \u2013 Automated Model Based Testing. In: Proc. of Progress 2002 \u2013 the 3rd Workshop on Embedded Systems, Utrecht, The Netherlands, pp. 246\u2013255 (October 24, 2002)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Wu, P., Lin, H.: Model-based testing of concurrent programs with predicate sequencing constraints. In: Proc. of the 5th Int. Conf. on Quality Software (QSIC 2005), Melbourne, Australia, pp. 3\u201310 (September 19-20, 2005)","DOI":"10.1142\/S0218194006002999"},{"issue":"7","key":"21_CR10","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.1360\/jos161210","volume":"16","author":"P. Wu","year":"2005","unstructured":"Wu, P., Shi, X., Tang, J., Lin, H., Chen, T.Y.: Metamorphic testing and special case testing: A case study. J. of Software\u00a016(7), 1210\u20131220 (2005)","journal-title":"J. of Software"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Hybrid Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75221-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:26Z","timestamp":1619520986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75221-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752202"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75221-9_21","relation":{},"subject":[]}}