{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:06:11Z","timestamp":1725537971624},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046933"},{"type":"electronic","value":"9783642046940"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04694-0_8","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T09:50:17Z","timestamp":1253008217000},"page":"101-114","source":"Crossref","is-referenced-by-count":9,"title":["A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and\u00a0Runtime Healing"],"prefix":"10.1007","author":[{"given":"Bohuslav","family":"K\u0159ena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zden\u011bk","family":"Letko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yarden","family":"Nir-Buchbinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachel","family":"Tzoref-Brill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Proc. of OOPSLA 2007","author":"N. Ayewah","year":"2007","unstructured":"Ayewah, N., Pugh, W., Morgenthaler, D., Penix, J., Zhou, Y.: Using FindBugs on Production Software. In: Proc. of OOPSLA 2007. ACM, New York (2007)"},{"key":"8_CR2","volume-title":"Proc.of PPoPP 2003","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.-D.: Hybrid Dynamic Data Race Detection. In: Proc.of PPoPP 2003. ACM, New York (2003)"},{"key":"8_CR3","unstructured":"Copeland, T.: PMD Applied. Centennial Books (2005)"},{"issue":"1","key":"8_CR4","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":"8_CR5","volume-title":"Proc. of PLDI 2007","author":"T. Elmas","year":"2007","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: A Race and Transaction-aware Java Runtime. In: Proc. of PLDI 2007. ACM, New York (2007)"},{"key":"8_CR6","volume-title":"Proc. of PADTAD 2006","author":"M.E. Keremoglu","year":"2006","unstructured":"Keremoglu, M.E., Tasiran, S., Elmas, T.: A Classification of Concurrency Bugs in Java Benchmarks by Developer Intent. In: Proc. of PADTAD 2006. ACM, New York (2006)"},{"key":"8_CR7","volume-title":"Proc. of PADTAD 2007","author":"B. K\u0159ena","year":"2007","unstructured":"K\u0159ena, B., Letko, Z., Tzoref, R., Ur, S., Vojnar, T.: Healing Data Races On-The-Fly. In: Proc. of PADTAD 2007. ACM, New York (2007)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"K\u0159ena, B., Letko, Z., Vojnar, T.: AtomRace: Data Race and Atomicity Violation Detector and Healer. In: Proc. of PADTAD 2008. ACM, New York (2008)","DOI":"10.1145\/1390841.1390848"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In: Proc. of ASPLOS-XII. ACM, New York (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"8_CR10","unstructured":"Nagpaly, R., Pattabiramanz, K., Kirovski, D., Zorn, B.: ToleRace: Tolerating and Detecting Races. In: Proc. of STMCS 2007 (2007)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-89247-2_7","volume-title":"Runtime Verification","author":"Y. Nir-Buchbinder","year":"2008","unstructured":"Nir-Buchbinder, Y., Tzoref, R., Ur, S.: Deadlocks: from Exhibiting to Healing. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 104\u2013118. Springer, Heidelberg (2008)"},{"key":"8_CR12","volume-title":"Proc. of SOQUA 2007","author":"Y. Nir-Buchbinder","year":"2007","unstructured":"Nir-Buchbinder, Y., Ur, S.: ConTest Listeners: A Concurrency-Oriented Infrastructure for Java Test and Heal Tools. In: Proc. of SOQUA 2007. ACM, New York (2007)"},{"key":"8_CR13","volume-title":"Proc. of SOSP 1997","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A\u00a0Dynamic Data Race Detector for Multi-threaded Programs. In: Proc. of SOSP 1997. ACM, New York (1997)"},{"key":"8_CR14","volume-title":"Proc. of MDM 2006","author":"J. Soriano","year":"2006","unstructured":"Soriano, J., Jimenez, M., Cantera, J., Hierro, J.: Delivering Mobile Enterprise Services on Morfeo\u2019s MC Open Source Platform. In: Proc. of MDM 2006. IEEE, Los Alamitos (2006)"},{"issue":"5","key":"8_CR15","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y. Yu","year":"2005","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. SIGOPS Oper. Syst. Rev.\u00a039(5), 221\u2013234 (2005)","journal-title":"SIGOPS Oper. Syst. Rev."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04694-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T19:25:38Z","timestamp":1685129138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04694-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046933","9783642046940"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04694-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}