{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:58:57Z","timestamp":1725544737547},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116223"},{"type":"electronic","value":"9783642116230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_19","type":"book-chapter","created":{"date-parts":[[2010,1,24]],"date-time":"2010-01-24T20:08:29Z","timestamp":1264363709000},"page":"324-339","source":"Crossref","is-referenced-by-count":5,"title":["Executable Interface Specifications for Testing Asynchronous Creol Components"],"prefix":"10.1007","author":[{"given":"Immo","family":"Grabe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Kyas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arild B.","family":"Torjusen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"19_CR2","volume-title":"Concurrency Verification: Introduction to Compositional and Noncompositional Proof Methods","author":"W.P. Roever de","year":"2001","unstructured":"de Roever, W.P., de Boer, F.S., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Proof Methods. Cambridge University Press, Cambridge (2001)"},{"unstructured":"The Creol language, \n                    \n                      http:\/\/heim.ifi.uio.no\/creol","key":"19_CR3"},{"key":"19_CR4","series-title":"Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":". Information and Computation"},{"unstructured":"Grabe, I., Kyas, M., Steffen, M., Torjusen, A.B.: Executable interface specifications for testing asynchronous Creol components. Technical Report 375, University of Oslo, Dept. of Computer Science (July 2008)","key":"19_CR6"},{"unstructured":"Steffen, M.: Object-Connectivity and Observability for Class-Based, Object-Oriented Languages. Habilitation thesis, Technische Faktult\u00e4t der Christian-Albrechts-Universit\u00e4t zu Kiel (July 2006)","key":"19_CR7"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/LICS.2002.1029820","volume-title":"17th Annual IEEE Symposium on Logic in Computer Science","author":"A. Jeffrey","year":"2002","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. In: 17th Annual IEEE Symposium on Logic in Computer Science, pp. 101\u2013112. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 system. In Nieuwenhuis, R., ed.: RTA 2003. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"19_CR11","volume-title":"The Art of Software-Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software-Testing. John Wiley & Sons, New York (1979)"},{"unstructured":"Patton, R.: Software Testing, 2nd edn. SAMS (July 2005)","key":"19_CR12"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M.C. Gaudel","year":"1995","unstructured":"Gaudel, M.C.: Testing can be formal, too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"key":"19_CR14","volume-title":"Testing Object-Oriented Systems, Models, Patterns, and Tools","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems, Models, Patterns, and Tools. Addison-Wesley, Reading (2000)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/FOSE.2007.25","volume-title":"FOSE 2007: Future of Software Engineering","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A.: Software testing research: Achievements, challenges, dreams. In: FOSE 2007: Future of Software Engineering, pp. 85\u2013103. IEEE Computer Society Press, Los Alamitos (2007)"},{"issue":"3","key":"19_CR16","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/287000.287004","volume":"7","author":"H.Y. Chen","year":"1998","unstructured":"Chen, H.Y., Tse, T.H., Chan, F.T., Chen, T.Y.: In black and white: An integrated approach to class-level testing of object-oriented program. ACM Transactions of Software Engineering and Methodology\u00a07(3), 250\u2013295 (1998)","journal-title":"ACM Transactions of Software Engineering and Methodology"},{"issue":"6","key":"19_CR17","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications. IEEE Software Engineering Journal\u00a06(6), 387\u2013405 (1991)","journal-title":"IEEE Software Engineering Journal"},{"issue":"2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R.K. Doong","year":"1994","unstructured":"Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology\u00a03(2), 101\u2013130 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/120807.120822","volume-title":"TAV4: Proceedings of the symposium on Testing, analysis, and verification","author":"R.K. Doong","year":"1991","unstructured":"Doong, R.K., Frankl, P.G.: Case studies on testing object-oriented programs. In: TAV4: Proceedings of the symposium on Testing, analysis, and verification, pp. 165\u2013177. ACM Press, New York (1991)"},{"unstructured":"Frankl, P.G., Doong, R.K.: Tools for testing object-oriented programs. In: Proceedings of the 8th Pacific Northwest Conference on Software Quality, pp. 309\u2013324 (1990)","key":"19_CR20"},{"key":"19_CR21","volume-title":"Proceedings of the 27th International Computer Software and Application Conference (COMPSAC 2003)","author":"H.Y. Chen","year":"2003","unstructured":"Chen, H.Y., Sun, Y.X., Tse, T.H.: A strategy for selecting synchronization sequences to test concurrent object-oriented software. In: Proceedings of the 27th International Computer Software and Application Conference (COMPSAC 2003). IEEE Computer Society Press, Los Alamitos (2003)"},{"unstructured":"Long, B.: Testing Concurrent Java Components. PhD thesis, University of Queensland (July 2005)","key":"19_CR22"},{"key":"19_CR23","first-page":"223","volume":"8","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P.: Reproducible testing of monitors. Software \u2013 Practice and Experience\u00a08, 223\u2013245 (1978)","journal-title":"Software \u2013 Practice and Experience"},{"key":"19_CR24","volume-title":"Model-Based Software Testing and Analysis with C#","author":"J. Jacky","year":"2008","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)"},{"issue":"4","key":"19_CR25","first-page":"341","volume":"82","author":"E.B. Johnsen","year":"2008","unstructured":"Johnsen, E.B., Owe, O., Torjusen, A.B.: Validating behavioral component interfaces in rewriting logic. Fundamenta Informaticae\u00a082(4), 341\u2013359 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-85762-4_22","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"R. Schlatte","year":"2008","unstructured":"Schlatte, R., Aichernig, B., de Boer, F., Griesmayer, A., Johnsen, E.B.: Testing concurrent objects with application-specific schedulers. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 319\u2013333. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:54:41Z","timestamp":1619769281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}