{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:03:25Z","timestamp":1725843805257},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319273396"},{"type":"electronic","value":"9783319273402"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-27340-2_69","type":"book-chapter","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T13:40:44Z","timestamp":1450273244000},"page":"555-564","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Validation of Contracts in Concurrent Code"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[]},{"given":"Zden\u011bk","family":"Letko","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Louren\u00e7o","sequence":"additional","affiliation":[]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,17]]},"reference":[{"issue":"1","key":"69_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11219-006-9001-4","volume":"15","author":"Y Cheon","year":"2007","unstructured":"Cheon, Y., Perumandla, A.: Specifying and checking method call sequences of java programs. Softw. Qual. Control 15(1), 7\u201325 (2007)","journal-title":"Softw. Qual. Control"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"Demeyer, R., Vanhoof, W.: Static application-level race detection in STM haskell using contracts. In: Proceedings of PLACCES. Open Publishing Association (2013)","DOI":"10.4204\/EPTCS.137.10"},{"key":"69_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-39611-3_8","volume-title":"Hardware and Software: Verification and Testing","author":"RJ Dias","year":"2013","unstructured":"Dias, R.J., Pessanha, V., Louren\u00e7o, J.M.: Precise detection of atomicity violations. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC. LNCS, vol. 7857, pp. 8\u201323. Springer, Heidelberg (2013)"},{"issue":"3\u20135","key":"69_CR4","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded java programs. Concurrency Comput. Pract. Experience 15(3\u20135), 485\u2013499 (2003)","journal-title":"Concurrency Comput. Pract. Experience"},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware java runtime. In: Proceedings of PLDI 2007. ACM (2007)","DOI":"10.1145\/1250734.1250762"},{"issue":"7","key":"69_CR6","first-page":"1","volume":"24","author":"J Fiedor","year":"2014","unstructured":"Fiedor, J., Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Ur, S., Vojnar, T.: Advances in noise-based testing. STVR 24(7), 1\u201338 (2014)","journal-title":"STVR"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Hurlin, C.: Specifying and checking protocols of multithreaded classes. In: Proceedings of SAC 2009, pp. 587\u2013592. ACM (2009)","DOI":"10.1145\/1529282.1529407"},{"issue":"10","key":"69_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multi-threaded programs. In: Proceedings of SOSP 1997. ACM (1997)","DOI":"10.1145\/265924.265927"},{"key":"69_CR10","unstructured":"Sousa, D.G., Dias, R.J., Ferreira, C., Louren\u00e7o, J.M.: Preventing atomicity violations with contracts. eprint \n                      arXiv:1505.02951\n                      \n                    , May 2015"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2015"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27340-2_69","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T20:07:44Z","timestamp":1559333264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27340-2_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319273396","9783319273402"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27340-2_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}