乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:44Z","timestamp":1725515204769},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_15","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T04:34:48Z","timestamp":1212640488000},"page":"200-215","source":"Crossref","is-referenced-by-count":27,"title":["Implementation Relations for the Distributed Test Architecture"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"ISO\/IEC JTC 1, J.T.C.: International Standard ISO\/IEC 9646-1. Information Technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: General concepts. ISO\/IEC (1994)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"key":"15_CR3","first-page":"139","volume-title":"6th IFIP Workshop on Protocol Test Systems, IWPTS 1993","author":"G. Luo","year":"1993","unstructured":"Luo, G., Dssouli, R., Bochmann, G.v.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS 1993, pp. 139\u2013153. North-Holland, Amsterdam (1993)"},{"issue":"12","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1016\/S0169-7552(98)00013-0","volume":"30","author":"K.C. Tai","year":"1998","unstructured":"Tai, K.C., Young, Y.C.: Synchronizable test sequences of finite state machines. Computer Networks and ISDN Systems\u00a030(12), 1111\u20131134 (1998)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1021759127956","volume":"24","author":"O. Rafiq","year":"2003","unstructured":"Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. The Journal of Supercomputing\u00a024(2), 203\u2013211 (2003)","journal-title":"The Journal of Supercomputing"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s00165-005-0083-8","volume":"18","author":"H. Ural","year":"2006","unstructured":"Ural, H., Williams, C.: Constructing checking sequences for distributed testing. Formal Aspects of Computing\u00a018(1), 84\u2013101 (2006)","journal-title":"Formal Aspects of Computing"},{"issue":"11","key":"15_CR7","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1109\/TSE.2002.1049406","volume":"28","author":"A. Khoumsi","year":"2002","unstructured":"Khoumsi, A.: A temporal approach for testing distributed systems. IEEE Transactions on Software Engineering\u00a028(11), 1085\u20131103 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR8","unstructured":"Hierons, R.M., Ural, H.: The effect of the distributed test architecture on the power of testing. The Computer Journal (to appear, 2008)"},{"issue":"3","key":"15_CR9","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"},{"key":"15_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)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-39979-7_22","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Towards testing stochastic timed systems. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 335\u2013350. Springer, Heidelberg (2003)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"L. Brand\u00e1n Briones","year":"2005","unstructured":"Brand\u00e1n Briones, L., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 64\u201378. Springer, Heidelberg (2005)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11430230_7","volume-title":"Testing of Communicating Systems","author":"M.v. Bijl","year":"2005","unstructured":"Bijl, M.v., Rensink, A., Tretmans, J.: Action refinement in conformance testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 81\u201396. Springer, Heidelberg (2005)"},{"issue":"1-3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.tcs.2005.10.047","volume":"353","author":"N. L\u00f3pez","year":"2006","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Specification, testing and implementation relations for symbolic-probabilistic systems. Theoretical Computer Science\u00a0353(1-3), 228\u2013248 (2006)","journal-title":"Theoretical Computer Science"},{"key":"15_CR16","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 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":"15_CR17","doi-asserted-by":"crossref","unstructured":"Merayo, M., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal testing from timed finite state machines. Computer Networks (to appear, 2008)","DOI":"10.1016\/j.comnet.2007.10.002"},{"key":"15_CR18","first-page":"67","volume-title":"IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS)","author":"E. Brinksma","year":"1998","unstructured":"Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input\/output transition systems. In: IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), pp. 67\u201382. Kluwer, Dordrecht (1998)"},{"issue":"7","key":"15_CR19","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Transactions on Software Engineering\u00a029(7), 623\u2013633 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-73066-8_12","volume-title":"Testing of Software and Communicating Systems","author":"S. Haar","year":"2007","unstructured":"Haar, S., Jard, C., Jourdan, G.V.: Testing input\/output partial order automata. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 171\u2013185. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T03:02:29Z","timestamp":1551495749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}