{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:55:52Z","timestamp":1725641752863},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642258725"},{"type":"electronic","value":"9783642258732"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25873-2_34","type":"book-chapter","created":{"date-parts":[[2011,12,8]],"date-time":"2011-12-08T10:16:34Z","timestamp":1323339394000},"page":"497-512","source":"Crossref","is-referenced-by-count":1,"title":["Optimal Instrumentation of Data-flow in Concurrent Data Structures"],"prefix":"10.1007","author":[{"given":"Samaneh","family":"Navabpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Yices: An SMT Solver, \n                  \n                    http:\/\/yices.csl.sri.com","key":"34_CR1"},{"key":"34_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11864219_3","volume-title":"Distributed Computing","author":"H. Attiya","year":"2006","unstructured":"Attiya, H., Hillel, E.: Built-In Coloring for Highly-Concurrent Doubly-Linked Lists. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 31\u201345. Springer, Heidelberg (2006)"},{"issue":"4","key":"34_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Fraser, K., Harris, T.: Concurrent programming without locks. ACM Trans. Comput. Syst.\u00a025(2) (2007)","key":"34_CR5","DOI":"10.1145\/1233307.1233309"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-45414-4_21","volume-title":"Distributed Computing","author":"T.L. Harris","year":"2001","unstructured":"Harris, T.L.: A Pragmatic Implementation of Non-Blocking Linked-Lists. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol.\u00a02180, pp. 300\u2013314. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: Llvm: A compilation framework for lifelong program analysis and transformation. In: CGO, p. 75 (2004)","key":"34_CR7","DOI":"10.1109\/CGO.2004.1281665"},{"issue":"5","key":"34_CR8","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1023\/A:1018772514882","volume":"26","author":"J. Lee","year":"1998","unstructured":"Lee, J., Midkiff, S.P., Padua, D.A.: A constant propagation algorithm for explicitly parallel programs. International Journal of Parallel Programming\u00a026(5), 563\u2013589 (1998)","journal-title":"International Journal of Parallel Programming"},{"doi-asserted-by":"crossref","unstructured":"Nanda, M.G., Ramesh, S.: Slicing concurrent programs. In: ISSTA, pp. 180\u2013190 (2000)","key":"34_CR9","DOI":"10.1145\/347324.349121"},{"doi-asserted-by":"crossref","unstructured":"Navabpour, S., Bonakdarpour, B., Fischmeister, S.: Software debugging and testing using the abstract diagnosis theory. In: LCTES, pp. 111\u2013120 (2011)","key":"34_CR10","DOI":"10.1145\/1967677.1967693"},{"doi-asserted-by":"crossref","unstructured":"Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. In: SDE, pp. 177\u2013184 (1984)","key":"34_CR11","DOI":"10.1145\/800020.808263"},{"issue":"1","key":"34_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01088621","volume":"7","author":"U. Schmid","year":"1994","unstructured":"Schmid, U.: Monitoring of Distributed Real-Time Systems. Real-Time Systems\u00a07(1), 33\u201356 (1994)","journal-title":"Real-Time Systems"},{"doi-asserted-by":"crossref","unstructured":"Thane, H., Hansson, H.: Towards Systematic Testing of Distributed Real-Time Systems. In: RTSS, pp. 360\u2013369 (1999)","key":"34_CR13","DOI":"10.1109\/REAL.1999.818863"},{"doi-asserted-by":"crossref","unstructured":"Thane, H., Sundmark, D., Huselius, J., Pettersson, A.: Replay Debugging of Real-Time Systems Using Time Machines. In: IPDPS, p.\u00a08 (2003)","key":"34_CR14","DOI":"10.1109\/IPDPS.2003.1213515"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25873-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T16:29:15Z","timestamp":1548520155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25873-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642258725","9783642258732"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25873-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}