{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:16:59Z","timestamp":1773512219723,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642165757","type":"print"},{"value":"9783642165764","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16576-4_13","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:55:56Z","timestamp":1288706156000},"page":"182-194","source":"Crossref","is-referenced-by-count":5,"title":["Message Race Detection for Web Services by an SMT-Based Analysis"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Elwakil","sequence":"first","affiliation":[]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Qichang","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Trust in Cyberspace","author":"F.B. Schneider","year":"1999","unstructured":"Schneider, F.B.: Trust in Cyberspace. National Academies Press, Washington (1999)"},{"key":"13_CR2","unstructured":"Christey, S. (eds), Top 25 most dangerous programming errors, CWE\/SANS report (2009), \n                    \n                      http:\/\/cwe.mitre.org\/top25"},{"key":"13_CR3","unstructured":"Klein, J., Leymann, F., Roller, D., Curbera, F., Goland, Y., Weerawarana, S.: Business process execution language for web services, version 1.1 (2003)"},{"key":"13_CR4","unstructured":"Satisfiability Modulo Theories, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/Satisfiability_Modulo_Theories"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J.P. Marques-Silva","year":"1999","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers\u00a048(5), 506\u2013521 (1999)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR6","first-page":"530","volume-title":"38th Design Automation Conference (DAC)","author":"M.W. Moskewicz","year":"2001","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: 38th Design Automation Conference (DAC), pp. 530\u2013535. ACM Press, New York (2001)"},{"key":"13_CR7","unstructured":"Een, N., Sorensson, N.: An extensible sat-solver. In: Satisfiability Workshop, pp. 333\u2013336 (2003)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., de Moura, L.: Fast Linear-Arithmetic Solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L.D. Moura","year":"2008","unstructured":"Moura, L.D., Bjrner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"13_CR10","first-page":"502","volume-title":"Super computing 1992: Proceedings of the 1992 ACM\/IEEE conference on Supercomputing","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: Optimal tracing and replay for debugging message-passing parallel programs. In: Super computing 1992: Proceedings of the 1992 ACM\/IEEE conference on Supercomputing, pp. 502\u2013511. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/238020.238033","volume-title":"SPDT 1996: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools","author":"R.H.B. Netzer","year":"1996","unstructured":"Netzer, R.H.B., Brennan, T.W., Damodaran-Kamal, S.K.: Debugging race conditions in message-passing programs. In: SPDT 1996: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, pp. 31\u201340. ACM Press, New York (1996)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-72360-8_28","volume-title":"Advances in Grid and Pervasive Computing","author":"M.Y. Park","year":"2007","unstructured":"Park, M.Y., Shim, S.J., Jun, Y.K., Park, H.R.: Mpirace-check: Detection of message races in MPI programs. In: C\u00e9rin, C., Li, K.-C. (eds.) GPC 2007. LNCS, vol.\u00a04459, pp. 322\u2013333. Springer, Heidelberg (2007)"},{"key":"13_CR13","volume-title":"IEEE International Conference on Web Services","author":"M. Weiss","year":"2004","unstructured":"Weiss, M., Esfandiari, B.: On feature interactions among web services. In: IEEE International Conference on Web Services. IEEE Computer Society, Los Alamitos (2004)"},{"key":"13_CR14","first-page":"184","volume-title":"AICT ICIW 2006: Proceedings of the Advanced Int\u2019l Conference on Telecommunications and Int\u2019l Conference on Internet and Web Applications and Services","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Su, S., Yang, F.: Detecting race conditions in web services. In: AICT ICIW 2006: Proceedings of the Advanced Int\u2019l Conference on Telecommunications and Int\u2019l Conference on Internet and Web Applications and Services, p. 184. IEEE Computer Society, Washington (2006)"},{"issue":"3","key":"13_CR15","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/S1005-8885(07)60159-9","volume":"14","author":"J. Zhang","year":"2007","unstructured":"Zhang, J., Yang, F., Su, S.: Detecting feature interactions in web services with model checking techniques. The Journal of China Universities of Posts and Telecommunications\u00a014(3), 108\u2013112 (2007)","journal-title":"The Journal of China Universities of Posts and Telecommunications"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-45657-0_25","volume-title":"Computer Aided Verification","author":"R. Alur","year":"2002","unstructured":"Alur, R., NcDougall, M., Yang, Z.: Exploiting Behavioral Hierarchy for Efficient Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 338. Springer, Heidelberg (2002)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-3-642-15643-4_27","volume-title":"ATVA 2010","author":"M. Elwakil","year":"2010","unstructured":"Elwakil, M., Yang, Z., Liqiang, W.: CRI: Symbolic Debugger for MCAPI Applications. In: Chin, W.-N. (ed.) ATVA 2010. LNCS, vol.\u00a06252, pp. 353\u2013358. Springer, Heidelberg (2010)"},{"key":"13_CR18","volume-title":"Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VIII)","author":"M. Elwakil","year":"2010","unstructured":"Elwakil, M., Yang, Z.: Debugging Support Tool for MCAPI Applications. In: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VIII). ACM, Trento (2010)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16576-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T23:20:26Z","timestamp":1553210426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16576-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165757","9783642165764"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16576-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}