{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:22:09Z","timestamp":1737436929026,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747796"},{"type":"electronic","value":"9783540747802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74780-2_52","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T07:05:09Z","timestamp":1188457509000},"page":"385-395","source":"Crossref","is-referenced-by-count":1,"title":["Novel Collaborative Automated Testing Framework Using DDF*"],"prefix":"10.1007","author":[{"given":"Songwen","family":"Pei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baifeng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kun","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"Heckel, R., Lohmann, M.: Towards Model-Driven Testing. In: TACoS - International Workshop on Test and Analysis of Component Based Systems, Warsaw, in conjunction with ETAPS 2003 (2003)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Blanc, M., et al.: A collaborative approach for access control, intrusion diction and security testing. In: International symposium on collaborative technologies and systems, pp. 270\u2013277 (2006)","DOI":"10.1109\/CTS.2006.1"},{"key":"52_CR3","unstructured":"http:\/\/java.sun.com\/javaee\/ (available March 24, 2007)"},{"key":"52_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/11568346_10","volume-title":"ER 2005 Workshops","author":"B. List","year":"2005","unstructured":"List, B., Korherr, B.: A UML 2 profile for business process modeling. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER 2005 Workshops. LNCS, vol.\u00a03770, pp. 85\u201396. Springer, Heidelberg (2005)"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Silaghi, R., et al.: Towards an MDA-oriented UML profile for distribution. In: 8th IEEE international proceedings of the enterprise distributed object computing conference, pp. 227\u2013239 (2004)","DOI":"10.1109\/EDOC.2004.1342520"},{"key":"52_CR6","unstructured":"http:\/\/www.eclipse.org\/tptp\/ (available March 23, 2007)"},{"key":"52_CR7","unstructured":"http:\/\/www.pyxis-tech.com\/en\/produits\/green-pepper\/ (available May 20, 2007)"},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"Petrenko, A.: Testing transition systems with input and output testers. In: International conference on testing of communicating systems, May 2003, pp. 129\u2013145 (2003)","DOI":"10.1007\/3-540-44830-6_11"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Testing concurrent systems: a formal approach. In: 10th international conference on concurrency theory, pp. 46\u201365 (1999)","DOI":"10.1007\/3-540-48320-9_6"},{"key":"52_CR10","unstructured":"Tretmans, J., Brinksma, J.: TorX: automated model based testing. In: Proceedings of the 1st European conference on model-driven software engineering (2003)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Jiao, Y., Guo, C., Wu, B., Luo, H.: Extended-DDF modeling embedded system design: adapting to IP technology. In: The fifth international conference on computer and information technology, September 2005, pp. 829\u2013833 (2005)","DOI":"10.1109\/CIT.2005.115"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Pei, S., Wu, B., et al.: Novel software automated testing system based on J2EE. In: CFTC 2007. Tsinghua Science and Technology (accepted, 2007)","DOI":"10.1016\/S1007-0214(07)70083-4"},{"key":"52_CR13","unstructured":"Choi, C., Ha, S.: software synthesis for dynamic data flow graph. In: The 8th international workshop on rapid system prototyping proceedings, June 1997, pp. 72\u201379 (1997)"},{"key":"52_CR14","unstructured":"Yilmaz, L.: specifying and verifying collaborative behavior in component-based systems (Ph.D.Dissertation), Virginia Polytechnic institute and state university, Balcksburg, VA (March 2002)"},{"key":"52_CR15","volume-title":"Design patterns elements of reusable object-orientd software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns elements of reusable object-orientd software. Addison-Wesley, MA (1995)"},{"key":"52_CR16","unstructured":"Wu, B.F., Peng, C.L.: A concurrent design approach for data flow dominated embedded systems. In: The 8th International conference on computer supported cooperative work in design proceedings, May 2004, vol.\u00a01, pp. 3\u20137 (2004)"},{"key":"52_CR17","unstructured":"http:\/\/www.mercury.com\/ (available March 30, 2007)"}],"container-title":["Lecture Notes in Computer Science","Cooperative Design, Visualization, and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74780-2_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:06:32Z","timestamp":1737399992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74780-2_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747796","9783540747802"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74780-2_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}