{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:31:16Z","timestamp":1761597076980},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,4,4]],"date-time":"2008-04-04T00:00:00Z","timestamp":1207267200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s11219-007-9036-1","type":"journal-article","created":{"date-parts":[[2008,4,3]],"date-time":"2008-04-03T15:16:26Z","timestamp":1207235786000},"page":"185-211","source":"Crossref","is-referenced-by-count":8,"title":["Using communication coverage criteria and partial model generation to assist software integration testing"],"prefix":"10.1007","volume":"16","author":[{"given":"Christopher","family":"Robinson-Mallett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Poore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,4]]},"reference":[{"key":"9036_CR1","doi-asserted-by":"crossref","unstructured":"Aizenbud-Reshef, N. (2001). Coverage Analysis for Message Flows, 12th International Symposium on Software Reliability Engineering (ISSRE 2001), pp. 276\u2013286. IEEE.","DOI":"10.1109\/ISSRE.2001.989481"},{"issue":"2","key":"9036_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., & Dill, L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"9036_CR5","unstructured":"Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1995). UPPAAL\u2014A Tool Suite for Automatic Verification of Real-Time Systems. Workshop on Verification and Control of Hybrid Systems, DIMACS."},{"key":"9036_CR6","doi-asserted-by":"crossref","unstructured":"Bochmann, G. v., & Petrenko, A. (1994). Protocol testing: Review of methods and relevance for software testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1994), pp. 109\u2013124. ACM Press.","DOI":"10.1145\/186258.187153"},{"key":"9036_CR7","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R. (2002). Conformance test experiments for distributed real-time systems. Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 159\u2013163. ACM.","DOI":"10.1145\/566172.566196"},{"key":"9036_CR9","unstructured":"Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. Proceedings of the Workshop on Logic of Programs. Yorktown Heights, NY, LNCS 131 pp. 52\u201371., Springer Press."},{"key":"9036_CR10","volume-title":"Model Checking","author":"E. M. Clarke","year":"2000","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. A. (2000). Model Checking. Boston: MIT Press."},{"key":"9036_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., & Henzinger, T. A. (2001). Interface Automata. Proceedings of the 8th European Software Engineering Conference (ESEC 2001). pp. 109\u2013120. ACM.","DOI":"10.1145\/503209.503226"},{"key":"9036_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T. A., & Stroelinga, M. (2002). Timed interfaces. Proceedings of the Second International Conference on Embedded Software, (EMSOFT 2002), 2491 pp. 108\u2013122. LNCS. Springer.","DOI":"10.1007\/3-540-45828-X_9"},{"issue":"7","key":"9036_CR11","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U. Glasser","year":"2004","unstructured":"Glasser, U., Gurevich, Y., & Veanes, M. (2004). Abstract communication model for distributed systems. IEEE Transactions on Software Engineering, 30(7), 458\u2013472.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9036_CR12","doi-asserted-by":"crossref","unstructured":"Harrold, M. J., & Rothermel, G. (1994). Performing dataflow testing on classes, Proceedings of the Symposium Foundations of Software Engineering, ACM.","DOI":"10.1145\/193173.195402"},{"key":"9036_CR15","doi-asserted-by":"crossref","unstructured":"Hong, H. S., Cha, S. D., Lee, I., Sokolsky, O., & Ural, H. (2003). Data Flow Testing as Model Checking, Proceedings of International Conference on Software Engineering (ICSE \u201803), pp. 232\u2013242, May 2003.","DOI":"10.1109\/ICSE.2003.1201203"},{"key":"9036_CR16","doi-asserted-by":"crossref","unstructured":"Hong, H., Lee, I., Sokolsky, O., & Ural, H. (2002). A Temporal Logic Based Theory of Test Coverage and Generation, International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002), April 8\u201311.","DOI":"10.1007\/3-540-46002-0_23"},{"key":"9036_CR17","unstructured":"Huhn, M., & M\u00fccke, T. (2004). Generation of Optimized Test suites for UML Statecharts with Time. Testing of Communicating Systems (TestCom\u201904). Oxford: Springer."},{"issue":"11","key":"9036_CR19","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/TSE.2002.1049406","volume":"28","author":"A. Khoumsi","year":"2002","unstructured":"Khoumsi, A. (2002). A temporal approach for testing distributed systems. IEEE Transactions on Software Engineering, 28(11), 1085\u20131103.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9036_CR21","doi-asserted-by":"crossref","unstructured":"Liu, W., & Dasiewicz, P. (2001). Component Interaction Testing Using Model Checking, Canadian Conference on Electrical and Computer Engineering, 1 pp. 41\u201346, IEEE.","DOI":"10.1109\/CCECE.2001.933644"},{"key":"9036_CR22","doi-asserted-by":"crossref","unstructured":"Moore, E. F. (1956). Gedanken-Experiments on Sequential Machines. Automata Studies (Annals of Mathematics Studies), 34.","DOI":"10.1515\/9781400882618-006"},{"key":"9036_CR23","doi-asserted-by":"crossref","unstructured":"Offutt, A. J., Xiong, Y., & Liu, S. (1999). Criteria for Generating Specification-based Tests, Proceedings of 5th International Conference on Engineering of Complex Computer Systems, ACM.","DOI":"10.1109\/ICECCS.1999.802856"},{"key":"9036_CR24","doi-asserted-by":"crossref","unstructured":"Prowell, S. J. (2003). JUMBL: A Tool for Model-Based Statistical Testing, Proceedings of the 36th Hawaii International Conference on System Sciences, IEEE.","DOI":"10.1109\/HICSS.2003.1174916"},{"key":"9036_CR25","unstructured":"Prowell, S. J., & Poore, J. H. (2004). Computing system reliability using Markov chain usage models, Journal of Systems and Software, 73(2) pp. 219\u2013225, Elsevier."},{"key":"9036_CR27","doi-asserted-by":"crossref","unstructured":"Robinson-Mallett, C., Hierons, R. M., & Liggesmeyer, P., (2006a). Achieving Communication Coverage Criteria in Testing, Workshop on Advances in Model-Based Testing 2006. Raleigh, NC.","DOI":"10.1145\/1218776.1218786"},{"key":"9036_CR30","doi-asserted-by":"crossref","unstructured":"Robinson-Mallett C., M\u00fccke T., Liggesmeyer P., Goltz U. (2006b) Extended State Identification and Verification using a Model Checker. Journal on Information and Software Technology, 48 (10) pp. 981\u2212992. Elsevier.","DOI":"10.1016\/j.infsof.2006.03.006"},{"key":"9036_CR28","unstructured":"Robinson-Mallett C., Hierons, R. M., Poore J., & Bauer T. (2007). Using Partial Models to support the Testing of Distributed Systems, IASTED International Conference on Software Engineering and Applications (SEA 2007). Boston:IASTED."},{"key":"9036_CR29","doi-asserted-by":"crossref","unstructured":"Robinson-Mallett, C., M\u00fccke, T., Liggesmeyer, P., & Goltz, U. (2005). Generating Optimal Distinguishing Sequences with a Model Checker. Workshop on Advances in Model-Based Software Testing (A-MOST\u201905). St. Louis.","DOI":"10.1145\/1083274.1083283"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-007-9036-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-007-9036-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-007-9036-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:10:36Z","timestamp":1559383836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-007-9036-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,4]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9036"],"URL":"https:\/\/doi.org\/10.1007\/s11219-007-9036-1","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,4]]}}}