{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:26:32Z","timestamp":1725798392937},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111933"},{"type":"electronic","value":"9783319111940"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-11194-0_55","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T10:25:55Z","timestamp":1407839155000},"page":"618-630","source":"Crossref","is-referenced-by-count":0,"title":["Fault Localization of Concurrency Bugs and Its Application in Web Security"],"prefix":"10.1007","author":[{"given":"Zhenyuan","family":"Jiang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"55_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C.E. McDowell","year":"1989","unstructured":"McDowell, C.E., Helmbold, D.P.: Debugging concurrent programs. ACM Computing Surveys (CSUR)\u00a021(4), 593\u2013622 (1989)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"55_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1543135.1542490","volume":"44","author":"C. Flanagan","year":"2009","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. ACM Sigplan Notices\u00a044, 121\u2013133 (2009)","journal-title":"ACM Sigplan Notices"},{"issue":"4","key":"55_CR3","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS)\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"key":"55_CR4","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R.W., Harrold, M.J.: Falcon: fault localization in concurrent programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, vol.\u00a01, pp. 245\u2013254. ACM (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: ACM SIGOPS Operating Systems Review, vol.\u00a040, pp. 37\u201348. ACM (2006)","DOI":"10.1145\/1168917.1168864"},{"issue":"3","key":"55_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1508284.1508249","volume":"44","author":"S. Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: Ctrigger: exposing atomicity violation bugs from their hiding places. ACM Sigplan Notices\u00a044(3), 25\u201336 (2009)","journal-title":"ACM Sigplan Notices"},{"key":"55_CR7","doi-asserted-by":"crossref","unstructured":"Lucia, B., Ceze, L., Strauss, K.: Colorsafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations. In: ACM SIGARCH Computer Architecture News, vol.\u00a038, pp. 222\u2013233. ACM (2010)","DOI":"10.1145\/1816038.1815988"},{"key":"55_CR8","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/1111320.1111067","volume":"41","author":"M. Vaziri","year":"2006","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. ACM SIGPLAN Notices\u00a041, 334\u2013345 (2006)","journal-title":"ACM SIGPLAN Notices"},{"key":"55_CR9","doi-asserted-by":"crossref","unstructured":"Lucia, B., Ceze, L.: Finding concurrency bugs with context-aware communication graphs. In: Proceedings of the 42nd Annual IEEE\/ACM International Symposium on Microarchitecture, pp. 553\u2013563 (2009)","DOI":"10.1145\/1669112.1669181"},{"key":"55_CR10","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/1932682.1869474","volume":"45","author":"Y. Shi","year":"2010","unstructured":"Shi, Y., Park, S., Yin, Z., Lu, S., Zhou, Y., Chen, W., Zheng, W.: Do i use the wrong definition?: Defuse: definition-use invariants for detecting concurrency and sequential bugs. ACM Sigplan Notices\u00a045, 160\u2013174 (2010)","journal-title":"ACM Sigplan Notices"},{"key":"55_CR11","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/1993316.1993543","volume":"46","author":"B. Lucia","year":"2011","unstructured":"Lucia, B., Wood, B.P., Ceze, L.: Isolating and understanding concurrency errors using reconstructed execution fragments. ACM SIGPLAN Notices\u00a046, 378\u2013388 (2011)","journal-title":"ACM SIGPLAN Notices"},{"key":"55_CR12","unstructured":"Pintool, \n                    \n                      http:\/\/www.pintool.org\/"},{"key":"55_CR13","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1353536.1346323","volume":"43","author":"S. Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ACM Sigplan Notices\u00a043, 329\u2013339 (2008)","journal-title":"ACM Sigplan Notices"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R., Harrold, M.J.: A unified approach for localizing non-deadlock concurrency bugs. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 51\u201360. IEEE (2012)","DOI":"10.1109\/ICST.2012.85"},{"issue":"1","key":"55_CR15","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., Ratsaby, G., Ur, S.: Multithreaded java program test generation. IBM Systems Journal\u00a041(1), 111\u2013125 (2002)","journal-title":"IBM Systems Journal"},{"key":"55_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1379022.1375584","volume":"43","author":"K. Sen","year":"2008","unstructured":"Sen, K.: Race directed random testing of concurrent programs. ACM SIGPLAN Notices\u00a043, 11\u201321 (2008)","journal-title":"ACM SIGPLAN Notices"},{"key":"55_CR17","doi-asserted-by":"crossref","unstructured":"Park, C.S., Sen, K.: Randomized active atomicity violation detection in concurrent programs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 135\u2013145. ACM (2008)","DOI":"10.1145\/1453101.1453121"},{"key":"55_CR18","doi-asserted-by":"crossref","unstructured":"Sorrentino, F., Farzan, A., Madhusudan, P.: Penelope: weaving threads to expose atomicity violations. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 37\u201346. ACM (2010)","DOI":"10.1145\/1882291.1882300"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11194-0_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T11:22:02Z","timestamp":1558956122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11194-0_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111933","9783319111940"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11194-0_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}