{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:12:36Z","timestamp":1742922756715,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642047718"},{"type":"electronic","value":"9783642047725"}],"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-04772-5_39","type":"book-chapter","created":{"date-parts":[[2009,9,23]],"date-time":"2009-09-23T16:32:44Z","timestamp":1253723564000},"page":"295-303","source":"Crossref","is-referenced-by-count":2,"title":["Self-healing Assurance Based on Bounded Model Checking"],"prefix":"10.1007","author":[{"given":"Vendula","family":"Hrub\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohuslav","family":"K\u0159ena","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":"39_CR1","volume-title":"Detecting Data Races with Java PathFinder. A draft paper","author":"F. Breugel van","year":"2008","unstructured":"van Breugel, F., Kulikov, S., Shafiei, N., Visser, W.: Detecting Data Races with Java PathFinder. A draft paper. University of York, Canada (2008), http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/race.pdf"},{"key":"39_CR2","volume-title":"Proc. of PLDI 2007","author":"T. Elmas","year":"2007","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: A\u00a0Race and Transaction-aware Java Runtime. In: Proc. of PLDI 2007. ACM, New York (2007)"},{"key":"39_CR3","unstructured":"IBM R&D Labs. ConTest\u2014A Tool for Testing Multi-threaded Java Applications (2008), http:\/\/www.haifa.ibm.com\/projects\/verification\/contest"},{"key":"39_CR4","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":"39_CR5","volume-title":"Proc. of PADTAD 2008","author":"Z. Letko","year":"2008","unstructured":"Letko, Z., Vojnar, T., K\u0159ena, B.: AtomRace: Data Race and Atomicity Violation Detector and Healer. In: Proc. of PADTAD 2008. ACM, New York (2008)"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"K\u0159ena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. Technical report FIT-TR-2009-01, FIT BUT (2009)","DOI":"10.1007\/978-3-642-04694-0_8"},{"key":"39_CR7","unstructured":"Robust Software Engineering Group, NASA Ames Research Center. Java PathFinder (2008), http:\/\/javapathfinder.sourceforge.net"},{"key":"39_CR8","volume-title":"Proc. of SOSP 1997","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A Dynamic Data Race Detector for Multi-threaded Programs. In: Proc. of SOSP 1997. ACM, New York (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04772-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T16:16:50Z","timestamp":1558541810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04772-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642047718","9783642047725"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04772-5_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}