{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:41:56Z","timestamp":1725493316892},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540075493"},{"type":"electronic","value":"9783540380931"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-38093-0_15","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:44:14Z","timestamp":1184586254000},"page":"216-232","source":"Crossref","is-referenced-by-count":1,"title":["Building Test Constraints for Testing Middleware-Based Distributed Systems"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,6]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"P. C. Bates","year":"1995","unstructured":"P. C. Bates. Debugging heterogeneous distributed systems using event-based models of behavior. ACM Transactions on Computer Systems, 13(1):1\u201331, Feb. 1995.","journal-title":"ACM Transactions on Computer Systems"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"A. Bechini and K. C. Tai. Design of a toolset for dynamic analysis of concurrent Java programs. In Proc. of the 6th International Workshop on Program Comprehension, Ischia, Italy, June 1998.","DOI":"10.1109\/WPC.1998.693354"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"X. Cai and J. Chen. Control of nondeterminism in testing distributed multithreaded programs. In Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2000), pages 29\u201338. IEEE Computer Society Press, 2000.","DOI":"10.1109\/APAQ.2000.883775"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"R. H. Carver and K. C. Tai. Replay and testing for concurrent programs. IEEE Software, pages 66\u201374, Mar. 1991.","DOI":"10.1109\/52.73751"},{"issue":"6","key":"15_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R. H. Carver","year":"1998","unstructured":"R. H. Carver and K.C. Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24(6):471\u2013490, June 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","first-page":"145","volume-title":"Proc. of the 2nd International Workshop on Engineering Distributed Objects (EDO\u2019 2000)","author":"J. Chen","year":"2000","unstructured":"J. Chen. On using static analysis in distributed system testing. In Proc. of the 2nd International Workshop on Engineering Distributed Objects (EDO\u2019 2000), LNCS 1999, pages 145\u2013162, 2000."},{"issue":"10","key":"15_CR7","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A.R. Hoare","year":"1974","unstructured":"C. A.R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549\u2013557, 1974.","journal-title":"Communications of the ACM"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"M. Hurfin, M. Mizuno, and M. Raynal. Efficient distributed detection of conjunctions of local predicates. IEEE Transactions on Software Engineering, 24(8), Aug. 1998.","DOI":"10.1109\/32.707701"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"E. Itoh, Z. Furukawa, and K. Ushijima. A prototype of a concurrent behavior monitoring tool for testing concurrent programs. In Proc. of Asia-Pacific Software Engineering Conference (APSEC\u201996), pages 345\u2013354, 1996.","DOI":"10.1109\/APSEC.1996.566769"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/32.345831","volume":"21","author":"S. Kenkatesan","year":"1995","unstructured":"S. Kenkatesan and B. Dathan. Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering, 21(2):163\u2013177, Feb. 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"T. J. Leblanc","year":"1987","unstructured":"T. J. Leblanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, 36(4):471\u2013482, Apr. 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"H. Sohn, D. Kung, and P. Hsia. State-based reproducible testing for CORBA applications. In Proc. of IEEE Internaltional Symposium on Software Engineering for Parallel and Distributed Systems (PDSE\u201999), pages 24\u201335, LA, USA, May 1999.","DOI":"10.1109\/PDSE.1999.779736"},{"key":"15_CR13","unstructured":"H. Sohn, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen. Reproducible testing for distributed programs. In Proc. of the 4th International Conference on Telecommunication Systems, Modeling and Analysis, pages 172\u2013179, Nashiville, Tennessee, Mar. 1996."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Middleware"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-38093-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T20:52:55Z","timestamp":1550436775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-38093-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11,6]]},"ISBN":["9783540075493","9783540380931"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-38093-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,11,6]]}}}