{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:06Z","timestamp":1750221246818,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T00:00:00Z","timestamp":1531353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","award":["17-12465S"],"award-info":[{"award-number":["17-12465S"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,12]]},"DOI":"10.1145\/3213846.3229505","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"356-359","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C\/C++ programs"],"prefix":"10.1145","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[{"name":"Brno University of Technology, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Mu\u017eikovsk\u00e1","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ale\u0161","family":"Smr\u010dka","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Va\u0161\u00ed\u010dek","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Czechia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_15"},{"volume-title":"Proc. of ICST\u201917","author":"Dias R.","key":"e_1_3_2_1_2_1","unstructured":"R. Dias , C. Ferreira , J. Fiedor , J. Louren\u00e7o , A. Smrcka , D. Sousa , and T. Vojnar . 2017. Verifying Concurrent Programs Using Contracts . In Proc. of ICST\u201917 . ACM. R. Dias, C. Ferreira, J. Fiedor, J. Louren\u00e7o, A. Smrcka, D. Sousa, and T. Vojnar. 2017. Verifying Concurrent Programs Using Contracts. In Proc. of ICST\u201917. ACM."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.654"},{"key":"e_1_3_2_1_4_1","unstructured":"J. Fiedor V. Hrub\u00e1 B. K\u0159ena Z. Letko S. Ur and T. Vojnar. 2014. Advances in Noise-based Testing. STVR 24 7 (2014).  J. Fiedor V. Hrub\u00e1 B. K\u0159ena Z. Letko S. Ur and T. Vojnar. 2014. Advances in Noise-based Testing. STVR 24 7 (2014)."},{"volume-title":"Proc. of MEMICS\u201914 (LNCS 8934)","author":"Fiedor J.","key":"e_1_3_2_1_5_1","unstructured":"J. Fiedor , Z. Letko , J. Louren\u00e7o , and T. Vojnar . 2014. On Monitoring C\/C++ Transactional Memory Programs . In Proc. of MEMICS\u201914 (LNCS 8934) . Springer. J. Fiedor, Z. Letko, J. Louren\u00e7o, and T. Vojnar. 2014. On Monitoring C\/C++ Transactional Memory Programs. In Proc. of MEMICS\u201914 (LNCS 8934). Springer."},{"key":"e_1_3_2_1_6_1","unstructured":"J. Fiedor and T. Vojnar. 2012. ANaConDA: A Framework for Analysing Multithreaded C\/C++ Programs on the Binary Level. In RV\u201912 (LNCS 7687). Springer.  J. Fiedor and T. Vojnar. 2012. ANaConDA: A Framework for Analysing Multithreaded C\/C++ Programs on the Binary Level. In RV\u201912 (LNCS 7687). Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338967.2336813"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"e_1_3_2_1_10_1","unstructured":"P. J. Guo. 2006. A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs. Master\u2019s thesis. MIT.  P. J. Guo. 2006. A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs. Master\u2019s thesis. MIT."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390841.1390848"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_14_1","unstructured":"M. Musuvathi S. Qadeer T. Ball G. Basler P. Nainar and I. Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI\u201908. USENIX.   M. Musuvathi S. Qadeer T. Ball G. Basler P. Nainar and I. Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI\u201908. USENIX."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266641"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"e_1_3_2_1_19_1","unstructured":"Abstract 1 Introduction 2 Features and Usage of ANaConDA 3 Architecture 4 Experiments and Applications 5 Future Work References  Abstract 1 Introduction 2 Features and Usage of ANaConDA 3 Architecture 4 Experiments and Applications 5 Future Work References"}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Amsterdam Netherlands","acronym":"ISSTA '18"},"container-title":["Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3229505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3213846.3229505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:42Z","timestamp":1750212462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3229505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,12]]},"references-count":19,"alternative-id":["10.1145\/3213846.3229505","10.1145\/3213846"],"URL":"https:\/\/doi.org\/10.1145\/3213846.3229505","relation":{},"subject":[],"published":{"date-parts":[[2018,7,12]]},"assertion":[{"value":"2018-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}