{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:50Z","timestamp":1725497210465},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356315"},{"type":"electronic","value":"9783642356322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_5","type":"book-chapter","created":{"date-parts":[[2013,1,14]],"date-time":"2013-01-14T19:40:54Z","timestamp":1358192454000},"page":"35-41","source":"Crossref","is-referenced-by-count":7,"title":["ANaConDA: A Framework for Analysing Multi-threaded C\/C++ Programs on the Binary Level"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-5","key":"5_CR1","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 and Computation: Practice and Experience\u00a015(3-5), 485\u2013499 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Fiedor, J., Vojnar, T.: Noise-Based Testing and Analysis of Multi-threaded C\/C++ Programs on the Binary Level. In: Proc. of PADTAD 2012. ACM Press (2012)","DOI":"10.1145\/2338967.2336813"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: The RoadRunner Dynamic Analysis Framework for Concurrent Programs. In: Proc. of PASTE 2010. ACM Press (2010)","DOI":"10.1145\/1806672.1806674"},{"key":"5_CR4","unstructured":"Guo, P.J.: A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs. Master\u2019s thesis, Department of EECS, Cambridge, MA (May 5, 2006)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-642-02658-4_54","volume-title":"Computer Aided Verification","author":"P. Joshi","year":"2009","unstructured":"Joshi, P., Naik, M., Park, C.-S., Sen, K.: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 675\u2013681. Springer, Heidelberg (2009)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Letko, Z., Vojnar, T., K\u0159ena, B.: AtomRace: Data Race and Atomicity Violation Detector and Healer. In: Proc. of PADTAD 2008. ACM Press (2008)","DOI":"10.1145\/1390841.1390848"},{"key":"5_CR7","unstructured":"Luk, C.-K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation. In: Proc. of PLDI 2005. ACM Press (2005)"},{"key":"5_CR8","unstructured":"Naik, M.: Chord: A Static and Dynamic Program Analysis Platform for Java Bytecode, http:\/\/code.google.com\/p\/jchord"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In: Proc. of PLDI 2007. ACM Press (2007)","DOI":"10.1145\/1250734.1250746"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T13:47:44Z","timestamp":1687960064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}