{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:28:32Z","timestamp":1739510912871,"version":"3.37.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,12,9]],"date-time":"2009-12-09T00:00:00Z","timestamp":1260316800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s10664-009-9124-x","type":"journal-article","created":{"date-parts":[[2009,12,8]],"date-time":"2009-12-08T11:22:36Z","timestamp":1260271356000},"page":"346-379","source":"Crossref","is-referenced-by-count":8,"title":["Testing peer-to-peer systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Eduardo Cunha","family":"de Almeida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Valduriez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,9]]},"reference":[{"issue":"4","key":"9124_CR1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/1041680.1041681","volume":"36","author":"S Androutsellis-Theotokis","year":"2004","unstructured":"Androutsellis-Theotokis S, Spinellis D (2004) A survey of peer-to-peer content distribution technologies. ACM Comput Surv 36(4):335\u2013371","journal-title":"ACM Comput Surv"},{"key":"9124_CR2","first-page":"199","volume-title":"29th international conference on software engineering (ICSE 2007), Minneapolis, MN, USA, 20\u201326 May 2007","author":"L Baresi","year":"2007","unstructured":"Baresi L, Ghezzi C, Mottola L (2007) On accurate automatic verification of publish-subscribe architectures. In: 29th international conference on software engineering (ICSE 2007), Minneapolis, MN, USA, 20\u201326 May 2007. IEEE Computer Society, Los Alamitos, pp 199\u2013208"},{"key":"9124_CR3","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"RV Binder","year":"1999","unstructured":"Binder RV (1999) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman, Boston"},{"key":"9124_CR4","volume-title":"Pattern-oriented software architecture: a system of patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M (1996) Pattern-oriented software architecture: a system of patterns. Wiley, New York"},{"key":"9124_CR5","doi-asserted-by":"crossref","unstructured":"Carzaniga A, Rosenblum DS, Wolf AL (2000) Achieving scalability and expressiveness in an internet-scale event notification service. In: PODC \u201900: proceedings of the nineteenth annual ACM symposium on principles of distributed computing. New York, NY, USA, pp 219\u2013227. doi: 10.1145\/343477.343622","DOI":"10.1145\/343477.343622"},{"key":"9124_CR6","doi-asserted-by":"crossref","unstructured":"Chen K, Jiang F, dong Huang C (2006) A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple uio sequences. In: SAC, pp 1791\u20131797","DOI":"10.1145\/1141277.1141697"},{"issue":"2","key":"9124_CR7","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W-H Chen","year":"1995","unstructured":"Chen W-H, Ural H (1995) Synchronizable test sequences based on multiple uio sequences. IEEE\/ACM Trans Netw 3(2):152\u2013157. doi: 10.1109\/90.374116","journal-title":"IEEE\/ACM Trans Netw"},{"issue":"3","key":"9124_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s10723-006-9040-x","volume":"4","author":"W Cirne","year":"2006","unstructured":"Cirne W, Brasileiro F, Andrade N, Costa L, Andrade A, Novaes R, Mowbray M (2006) Labs of the world, unite!!! J Grid Comput 4(3):225\u2013246. doi: 10.1007\/s10723-006-9040-x","journal-title":"J Grid Comput"},{"key":"9124_CR9","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-540-45209-6_26","volume-title":"Euro-Par","author":"DP Silva da","year":"2003","unstructured":"da\u00a0Silva DP, Cirne W, Brasileiro FV (2003) Trading cycles for information: using replication to schedule bag-of-tasks applications on computational grids. In: Kosch H, B\u00f6sz\u00f6rm\u00e9nyi L, Hellwagner H (eds) Euro-Par. Lecture notes in computer science, vol 2790. Springer, New York, pp 169\u2013180"},{"issue":"4","key":"9124_CR10","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"RG Vries de","year":"2000","unstructured":"de\u00a0Vries RG, Tretmans J (2000) On-the-fly conformance testing using spin. STTT 2(4):382\u2013393","journal-title":"STTT"},{"key":"9124_CR11","doi-asserted-by":"crossref","unstructured":"Dragan F, Butnaru B, Manolescu I, Gardarin G, Preda N, Nguyen B, Pop R, Yeh L (2006) P2ptester: a tool for measuring P2P platform performance. In: BDA conference","DOI":"10.1109\/ICDE.2007.369053"},{"key":"9124_CR12","unstructured":"Duarte A, Cirne W, Brasileiro F, Machado P (2005) Using the computational grid to speed up software testing. In: Proceedings of the 19th Brazilian symposium on software engineer"},{"key":"9124_CR13","doi-asserted-by":"crossref","unstructured":"Duarte A, Cirne W, Brasileiro F, Machado P (2006) Gridunit: software testing on the grid. In: ICSE \u201906: Proceeding of the 28th international conference on software engineering, New York, NY, USA. ACM, New York, pp 779\u2013782","DOI":"10.1145\/1134285.1134410"},{"key":"9124_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model checking software, 10th international SPIN workshop, Portland, OR, USA, 9\u201310 May 2003, Proceedings","author":"D Garlan","year":"2003","unstructured":"Garlan D, Khersonsky S, Kim JS (2003) Model checking publish-subscribe systems. In: Ball T, Rajamani SK (eds) Model checking software, 10th international SPIN workshop, Portland, OR, USA, 9\u201310 May 2003, Proceedings. Lecture notes in computer science, vol 2648. Springer, New York, pp 166\u2013180"},{"key":"9124_CR15","doi-asserted-by":"crossref","unstructured":"Gerchman J, Jacques-Silva G, Drebes RJ, Weber TS (2005) Ambiente distribuido de inje\u00e7ao de falhas de comunica\u00e7ao para teste de aplica\u00e7oes java de rede. SBES","DOI":"10.5753\/sbes.2005.23822"},{"issue":"9","key":"9124_CR16","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/S0950-5849(01)00169-0","volume":"43","author":"RM Hierons","year":"2001","unstructured":"Hierons RM (2001) Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf Softw Technol 43(9):551\u2013560","journal-title":"Inf Softw Technol"},{"key":"9124_CR17","series-title":"In P2P \u201904: Proceedings of the fourth international conference on peer-to-peer computing","first-page":"262","volume-title":"A framework for testing distributed systems","author":"D Hughes","year":"2004","unstructured":"Hughes D, Greenwood P, Coulson G (2004) A framework for testing distributed systems. In P2P \u201904: Proceedings of the fourth international conference on peer-to-peer computing. IEEE Computer Society, Washington, DC, pp 262\u2013263. doi: 10.1109\/P2P.2004.3"},{"key":"9124_CR18","doi-asserted-by":"crossref","unstructured":"Jard C (2001) Principles of distribute test synthesis based on true-concurrency models. Technical report, IRISA\/CNRS","DOI":"10.1007\/978-0-387-35497-2_22"},{"key":"9124_CR19","doi-asserted-by":"crossref","unstructured":"Jard C, J\u00e9ron T (2005) TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int J Softw Tools Technol Transf","DOI":"10.1007\/s10009-004-0153-x"},{"key":"9124_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/11691617_8","volume-title":"Model checking software, 13th international SPIN workshop, Vienna, Austria, 30 March\u20131 April, proceedings","author":"C Joubert","year":"2006","unstructured":"Joubert C, Mateescu R (2006) Distributed on-the-fly model checking and test case generation. In: Valmari A, (ed) Model checking software, 13th international SPIN workshop, Vienna, Austria, 30 March\u20131 April, proceedings. Lecture notes in computer science, vol 3925. Springer, New York, pp 126\u2013145"},{"key":"9124_CR21","unstructured":"Kapfhammer GM (2001) Automatically and transparently distributing the execution of regression test suites. In: Proceedings of the 18th international conference on testing computer software. Washington, DC"},{"key":"9124_CR22","doi-asserted-by":"crossref","unstructured":"Long B, Strooper PA (2001) A case study in testing distributed systems. In: Proceedings 3rd international symposium on distributed objects and applications (DOA\u201901), pp 20\u201330","DOI":"10.1109\/DOA.2001.954068"},{"key":"9124_CR23","unstructured":"McWhirter B (2004) SysUnit project. http:\/\/sysunit.codehaus.org\/"},{"key":"9124_CR24","series-title":"IFIP conference proceedings","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-0-387-35516-0_17","volume-title":"Testing of communicating systems: tools and techniques, IFIP TC6\/WG6.1 13th international conference on testing communicating systems (TestCom 2000), 29 August\u20131 September 2000, Ottawa, Canada","author":"A Petrenko","year":"2000","unstructured":"Petrenko A, Ulrich A (2000) Verification and testing of concurrent systems with action races. In: Ural H, Probert RL, von Bochmann G (eds) Testing of communicating systems: tools and techniques, IFIP TC6\/WG6.1 13th international conference on testing communicating systems (TestCom 2000), 29 August\u20131 September 2000, Ottawa, Canada. IFIP conference proceedings, vol 176. Kluwer, Deventer, pp 261\u2013280"},{"key":"9124_CR25","doi-asserted-by":"crossref","unstructured":"Pickin S, Jard C, Le\u00a0Traon Y, J\u00e9ron T, J\u00e9z\u00e9quel J-M, Le\u00a0Guennec A (2002) System test synthesis from UML models of distributed software. ACM - 22nd IFIP WG 6.1 international conference Houston on formal techniques for networked and distributed systems","DOI":"10.1007\/3-540-36135-9_7"},{"key":"9124_CR26","unstructured":"Pickin S, Jard C, Heuillard T, J\u00e9z\u00e9quel J-M, Desfray P (2001) A uml-integrated test description language for component testing. In UML2001 wkshp: practical UML-based rigorous development methods. Lecture Notes in Informatics (LNI). Bonner K\u00f6llen Verlag, pp 208\u2013223, October"},{"key":"9124_CR27","doi-asserted-by":"crossref","DOI":"10.1145\/383059.383072","volume-title":"A scalable content-addressable network","author":"S Ratnasamy","year":"2001","unstructured":"Ratnasamy S, Francis P, Handley M, Karp R, Shenkern S (2001) A scalable content-addressable network. ACM SIGCOMM, New York"},{"issue":"1","key":"9124_CR28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"DS Rosenblum","year":"1995","unstructured":"Rosenblum DS (1995) A practical approach to programming with assertions. IEEE Trans Softw Eng 21(1):19\u201331","journal-title":"IEEE Trans Softw Eng"},{"key":"9124_CR29","first-page":"329","volume-title":"Middleware. Lecture notes in computer science","author":"A Rowstron","year":"2001","unstructured":"Rowstron A, Druschel P (2001) Pastry: scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Middleware. Lecture notes in computer science. Springer, New York, pp 329\u2013350"},{"key":"9124_CR30","doi-asserted-by":"crossref","unstructured":"Schieferdecker I, Li M, Hoffmann A (1998) Conformance testing of tina service components - the ttcn\/ corba gateway. In: IS&N, pp 393\u2013408","DOI":"10.1007\/BFb0056984"},{"key":"9124_CR31","volume-title":"Chord: a scalable peer-to-peer lookup service for internet applications","author":"I Stoica","year":"2001","unstructured":"Stoica I, Morris R, Karger D, Kaashoek MF, Hari B (2001) Chord: a scalable peer-to-peer lookup service for internet applications. ACM, New York"},{"key":"9124_CR32","doi-asserted-by":"crossref","unstructured":"Ulrich A, Konig H (1999) Architectures for testing distributed systems. In: Proceedings of the IFIP TC6 12th international workshop on testing communicating systems, Deventer, The Netherlands. Kluwer, B.V., Deventer, pp 93\u2013108","DOI":"10.1007\/978-0-387-35567-2_7"},{"key":"9124_CR33","first-page":"149","volume-title":"IWTCS, IFIP Conference Proceedings, vol 131","author":"T Walter","year":"1998","unstructured":"Walter T, Schieferdecker I, Grabowski J (1998) Test architectures for distributed systems: state of the art and beyond. In: Petrenko A, Yevtushenko N (eds) IWTCS, IFIP Conference Proceedings, vol 131. Kluwer, Deventer, pp 149\u2013174"},{"key":"9124_CR34","unstructured":"Zanolin L, Ghezzi C, Baresi L (2003) An approach to model and validate publish\/subscribe architectures. In: SAVCBS\u201903 workshop: proceedings of the specification and verification of component-based systems workshop, Helsinki, Finland, Sept. citeseer.ist.psu.edu\/zanolin03approach.html"},{"key":"9124_CR35","doi-asserted-by":"crossref","unstructured":"Zhou Z, Wang H, Zhou J, Tang L, Li K, Zheng W, Fang M (2006) Pigeon: a framework for testing peer-to-peer massively multiplayer online games over heterogeneous network. In: Consumer communications and networking conference. CCNC 2006. 3rd IEEE, vol 2, Issue, pp 1028\u20131032, 8\u201310 Jan","DOI":"10.1109\/CCNC.2006.1593194"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-009-9124-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-009-9124-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-009-9124-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T18:00:29Z","timestamp":1739469629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-009-9124-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,9]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9124"],"URL":"https:\/\/doi.org\/10.1007\/s10664-009-9124-x","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2009,12,9]]}}}