{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:28:59Z","timestamp":1743146939800,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11759744_12","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T12:27:50Z","timestamp":1149251270000},"page":"170-186","source":"Crossref","is-referenced-by-count":7,"title":["Testing Systems of Concurrent Black-Boxes\u2014An Automata-Theoretic and Decompositional Approach"],"prefix":"10.1007","author":[{"given":"Gaoyan","family":"Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Grail homepage, http:\/\/www.csd.uwo.ca\/research\/grail\/"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. TOPLAS\u00a015(1), 73\u2013132 (1993)","journal-title":"TOPLAS"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"12_CR4","first-page":"221","volume-title":"ICSE 2003","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Polini, A.: A framework for component deployment testing. In: ICSE 2003, pp. 221\u2013231. IEEE Press, Los Alamitos (2003)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Proc. 4th Summer School on Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Proc. 4th Summer School on Modeling and Verification of Parallel Processes, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"12_CR6","unstructured":"Callahan, J., Schneider, F., Easterbrook, S.: Automated software testing using modelchecking. WVU Technical Report #NASA-IVV-96-022"},{"key":"12_CR7","first-page":"353","volume-title":"LICS 1989","author":"E. Clarke","year":"1989","unstructured":"Clarke, E., Long, D., McMillan, K.: Compositional model checking. In: LICS 1989, pp. 353\u2013362. IEEE Press, Los Alamitos (1989)"},{"issue":"9","key":"12_CR8","first-page":"572","volume":"23","author":"A. Coen-Porisini","year":"1997","unstructured":"Coen-Porisini, A., Ghezzi, C., Kemmerer, R.A.: Specification of realtime systems using ASTRAL. TSE\u00a023(9), 572\u2013598 (1997)","journal-title":"TSE"},{"key":"12_CR9","first-page":"109","volume-title":"FSE 2001","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE 2001, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/BFb0035401","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Engels","year":"1997","unstructured":"Engels, A., Feijs, L.M.G., Mauw, S.: Test generation for intelligent networks using model checking. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 384\u2013398. Springer, Heidelberg (1997)"},{"key":"12_CR11","first-page":"152","volume-title":"ESEC\/FSE 2001","author":"K. Fisler","year":"2001","unstructured":"Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC\/FSE 2001, pp. 152\u2013163. ACM Press, New York (2001)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-44829-2_14","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: Thread-modular model checking. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 213\u2013225. Springer, Heidelberg (2003)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 146\u2013163. Springer, Heidelberg (1999)"},{"key":"12_CR14","unstructured":"Ghosh, S., Mathur, P.: Issues in testing distributed component-based systems. In: First ICSE Workshop on Testing Distributed Component-Based Systems (1999)"},{"key":"12_CR15","first-page":"211","volume-title":"ICSE 2004","author":"D. Giannakopoulou","year":"2004","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Cobleigh, J.M.: Assume-guarantee verification of source code with design-level assumptions. In: ICSE 2004, pp. 211\u2013220. IEEE Press, Los Alamitos (2004)"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/336512.336532","volume-title":"Proceedings of the conference on the future of software engineering","author":"M.J. Harrold","year":"2000","unstructured":"Harrold, M.J.: Testing: a roadmap. In: Proceedings of the conference on the future of software engineering, pp. 61\u201372. ACM Press, New York (2000)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-45069-6_27","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Qadeer, S.: Thread-modular abstraction refinement. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 262\u2013274. Springer, Heidelberg (2003)"},{"key":"12_CR18","first-page":"28","volume-title":"FSE 2003","author":"R.D. Jeffords","year":"2003","unstructured":"Jeffords, R.D., Heitmeyer, C.L.: A strategy for efficiently verifying requirements. In: FSE 2003, pp. 28\u201337. ACM Press, New York (2003)"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps towards a development method for interfering programs. TOPLAS\u00a05(4), 596\u2013619 (1983)","journal-title":"TOPLAS"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"Lamport, L.: Specifying concurrent program modules. TOPLAS\u00a05(2), 190\u2013222 (1983)","journal-title":"TOPLAS"},{"issue":"6","key":"12_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/605466.605481","volume":"27","author":"H. Li","year":"2002","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. ACM SIGSOFT Software Engineering Notes\u00a027(6), 89\u201398 (2002)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"12_CR22","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An introduction to input\/output automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"12_CR23","first-page":"55","volume-title":"ISSTA 2004","author":"L. Nachmanson","year":"2004","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: ISSTA 2004, pp. 55\u201364. ACM Press, New York (2004)"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45254-0_12","volume-title":"Engineering Distributed Objects","author":"A. Orso","year":"2001","unstructured":"Orso, A., Harrold, M.J., Rosenblum, D.S.: Component metadata for software engineering tasks. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol.\u00a01999, pp. 129\u2013144. Springer, Heidelberg (2001)"},{"key":"12_CR25","first-page":"225","volume-title":"FORTE\/PSTV 1999","author":"D. Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: FORTE\/PSTV 1999, pp. 225\u2013240. Kluwer, Dordrecht (1999)"},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-44830-6_11","volume-title":"Testing of Communicating Systems","author":"A. Petrenko","year":"2003","unstructured":"Petrenko, A., Yevtushenko, N., Le Huo, J.: Testing transition systems with input and output testers. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 129\u2013145. Springer, Heidelberg (2003)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, sub-series F: Computer and System Science (1985)","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"12_CR28","unstructured":"Rosenblum, D.: Adequate testing of componentbased software. Department of Information and Computer Science, University of California, Irvine, Technical Report 97-34 (August 1997)"},{"key":"12_CR29","first-page":"684","volume-title":"ICSE 2003","author":"C. Szyperski","year":"2003","unstructured":"Szyperski, C.: Component technology: what, where, and how? In: ICSE 2003, pp. 684\u2013693. IEEE Press, Los Alamitos (2003)"},{"key":"12_CR30","first-page":"955","volume-title":"Parallel and Distributed Computing Handbook","author":"C. Tai","year":"1996","unstructured":"Tai, C., Carver, R.H.: Testing of distributed programs. In: Parallel and Distributed Computing Handbook, pp. 955\u2013978. McGraw-Hill, New York (1996)"},{"key":"12_CR31","unstructured":"Tretmans, J., Brinksma, E.: Torx: Automated model-based tesing. In: First European Conference on Model-Driven Software Engineering, pp. 31\u201343 (2003)"},{"issue":"8","key":"12_CR32","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/2.863965","volume":"33","author":"J. Voas","year":"2000","unstructured":"Voas, J.: Developing a usage-based software certification process. IEEE Computer\u00a033(8), 32\u201337 (2000)","journal-title":"IEEE Computer"},{"key":"12_CR33","first-page":"218","volume-title":"ISSTA 2002","author":"J. Whaley","year":"2002","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: ISSTA 2002, pp. 218\u2013228. ACM Press, New York (2002)"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-31848-4_11","volume-title":"Formal Approaches to Software Testing","author":"G. Xie","year":"2005","unstructured":"Xie, G., Dang, Z.: An automata-theoretic approach for model-checking systems with unspecified components. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 155\u2013169. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T23:27:32Z","timestamp":1627428452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11759744_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}