{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:23:17Z","timestamp":1725517397033},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857617"},{"type":"electronic","value":"9783540857624"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","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-85762-4_22","type":"book-chapter","created":{"date-parts":[[2008,8,22]],"date-time":"2008-08-22T14:20:29Z","timestamp":1219414829000},"page":"319-333","source":"Crossref","is-referenced-by-count":4,"title":["Testing Concurrent Objects with Application-Specific Schedulers"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Schlatte","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Aichernig","sequence":"additional","affiliation":[]},{"given":"Frank","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Griesmayer","sequence":"additional","affiliation":[]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1145\/566172.566211","volume-title":"International Symposium on Software Testing and Analysis","author":"J.-D. Choi","year":"2002","unstructured":"Choi, J.-D., Zeller, A.: Isolating failure-inducing thread schedules. In: International Symposium on Software Testing and Analysis, pp. 210\u2013220. ACM Press, New York (2002)"},{"key":"22_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O. Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratzaby, G., Ur, S.: Multithreaded Java program test generation. IBM Systems Journal\u00a041(1), 111\u2013125 (2002)","journal-title":"IBM Systems Journal"},{"issue":"8","key":"22_CR6","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Information and Computation\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Information and Computation"},{"key":"22_CR7","unstructured":"ISO\/IEC 9646-1: Information technology - OSI - Conformance testing methodology and framework - Part 1: General Concepts (1994)"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/186258.187150","volume-title":"Proceedings of the International symposium on Software testing and analysis (ISSTA 1994)","author":"R. Jasper","year":"1994","unstructured":"Jasper, R., Brennan, M., Williamson, K., Currier, B., Zimmerman, D.: Test data generation and feasible path analysis. In: Proceedings of the International symposium on Software testing and analysis (ISSTA 1994), pp. 95\u2013107. ACM Press, New York (1994)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"key":"22_CR10","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs, 2nd edn. Wiley, Chichester (2006)","edition":"2"},{"key":"22_CR11","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 logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/3-540-45397-0_21","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"L. Nigro","year":"2001","unstructured":"Nigro, L., Pupo, F.: Schedulability analysis of real time actor systems using coloured petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 493\u2013513. Springer, Heidelberg (2001)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-540-85762-4_23","volume-title":"International Colloquium on Theoretical Aspects of Computing (ICTAC)","author":"J. Sch\u00f6nborn","year":"2008","unstructured":"Sch\u00f6nborn, J., Kyas, M.: A theory of bounded fair scheduling. In: Fitzgerald, J., Haxthausen, A. (eds.) International Colloquium on Theoretical Aspects of Computing (ICTAC). LNCS, vol.\u00a05160, pp. 334\u2013348. Springer, Heidelberg (2008)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/53990.54005","volume-title":"Proceedings SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1988)","author":"J.M. Stone","year":"1988","unstructured":"Stone, J.M.: Debugging concurrent processes: A case study. In: Proceedings SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1988), June 1988, pp. 145\u2013153. ACM Press, New York (1988)"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1081706.1081749","volume-title":"Proceedings of the 10th European Software Engineering Conference \/ 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2005)","author":"N. Tillmann","year":"2005","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: Proceedings of the 10th European Software Engineering Conference \/ 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2005), pp. 253\u2013262. ACM Press, New York (2005)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11901914_9","volume-title":"Automated Technology for Verification and Analysis","author":"C. Wang","year":"2006","unstructured":"Wang, C., Yang, Z., Ivancic, F., Gupta, A.: Whodunit? Causal analysis for counterexamples. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218, pp. 82\u201395. Springer, Heidelberg (2006)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Weyuker, E.J.: Testing component-based software: A cautionary tale. IEEE Software, pp. 54\u201359 (September 1998)","DOI":"10.1109\/52.714817"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85762-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:33:58Z","timestamp":1558280038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85762-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540857617","9783540857624"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85762-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}