{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:04:24Z","timestamp":1725552264353},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311126"},{"type":"electronic","value":"9783540324508"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11608035_20","type":"book-chapter","created":{"date-parts":[[2005,12,8]],"date-time":"2005-12-08T13:40:49Z","timestamp":1134049249000},"page":"222-234","source":"Crossref","is-referenced-by-count":1,"title":["Software Testing Process Automation Based on UTP \u2013 A Case Study"],"prefix":"10.1007","author":[{"given":"Wei","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qun","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunzhi","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Beizer, B.: Software Testing Techniques. International Thomson Computer Press (1990)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36498-6_1","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A.: Software Testing Research and Practice. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 1\u201321. Springer, Heidelberg (2003)"},{"issue":"1","key":"20_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C., Labiche, Y.: A UML-Based Approach to System Testing. Software and Systems Modeling\u00a01(1), 10\u201342 (2002)","journal-title":"Software and Systems Modeling"},{"key":"20_CR4","unstructured":"OMG, UML 2.0 Testing Profile Specification (04-04-02)"},{"key":"20_CR5","unstructured":"Dai, Z.R.: Model-Driven Testing with UML 2.0. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, Canterbury, England (September 2004)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24704-3_3","volume-title":"Testing of Communicating Systems","author":"Z.R. Dai","year":"2004","unstructured":"Dai, Z.R., Grabowski, J., Neukirchen, H.: From Design to Test with UML \u2013 Applied to a Roaming Algorithm for Bluetooth Devices. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 33\u201349. Springer, Heidelberg (2004)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-30233-9_27","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"I. Schieferdecker","year":"2004","unstructured":"Schieferdecker, I., Din, G.: A Meta-model for TTCN-3. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 366\u2013379. Springer, Heidelberg (2004)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Duddy, K., Gerber, A., Lawley, M., Raymond, K., Steel, J.: Model Transformation: A declarative, reusable patterns approach. In: 7th IEEE International Enterprise Distributed Object Computing Conference, pp. 174\u2013185 (2003)","DOI":"10.1109\/EDOC.2003.1233847"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-44830-6_7","volume-title":"Testing of Communicating Systems","author":"I. Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Dai, Z.R., Grabowski, J.: The UML2.0 Testing Profile and its Relation to TTCN-3. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 79\u201394. Springer, Heidelberg (2003)"},{"key":"20_CR10","unstructured":"OMG, UML 2.0 Superstructure Specification (ptc\/03-08-02)"},{"key":"20_CR11","unstructured":"ETSI ES 201 873 \u2013 1, v2.2.1: The Testing and Test Control Notation TTCN-3: Core Language (2002)"}],"container-title":["Lecture Notes in Computer Science","Unifying the Software Process Spectrum"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11608035_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:05:55Z","timestamp":1619507155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11608035_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311126","9783540324508"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11608035_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}