{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:27Z","timestamp":1750308687416,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T00:00:00Z","timestamp":1411430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,23]]},"DOI":"10.1145\/2647508.2647523","type":"proceedings-article","created":{"date-parts":[[2014,8,21]],"date-time":"2014-08-21T12:19:23Z","timestamp":1408623563000},"page":"200-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Cooperari"],"prefix":"10.1145","author":[{"given":"Eduardo R. B.","family":"Marques","sequence":"first","affiliation":[{"name":"Universidade de Lisboa, Portugal"}]},{"given":"Francisco","family":"Martins","sequence":"additional","affiliation":[{"name":"Universidade de Lisboa, Portugal"}]},{"given":"Miguel","family":"Sim\u00f5es","sequence":"additional","affiliation":[{"name":"Universidade de Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2014,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"P.\n      Avgustinov A. S.\n      Christensen L.\n      Hendren S.\n      Kuzins J.\n      Lhot\u00e1k O.\n      Lhot\u00e1k O.\n      de Moor D.\n      Sereni G.\n      Sittampalam and \n      J.\n      Tibble\n  . \n  Abc: An Extensible AspectJ Compiler\n  . volume \n  3880\n   of \n  LNCS pages \n  293\n  --\n  334\n  . \n  Springer-Verlag 2006\n  .   P. Avgustinov A. S. Christensen L. Hendren S. Kuzins J. Lhot\u00e1k O. Lhot\u00e1k O. de Moor D. Sereni G. Sittampalam and J. Tibble. Abc: An Extensible AspectJ Compiler. volume 3880 of LNCS pages 293--334. Springer-Verlag 2006.","DOI":"10.1007\/11687061_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390650"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. 4th USENIX Conference on Hot Topics in Parallelism, HotPar '12","author":"Burnim J.","year":"2012","unstructured":"J. Burnim , T. Elmas , G. Necula , and K. Sen . CONCURRIT: Testing concurrent programs with programmable state-space exploration . In Proc. 4th USENIX Conference on Hot Topics in Parallelism, HotPar '12 . USENIX, 2012 . J. Burnim, T. Elmas, G. Necula, and K. Sen. CONCURRIT: Testing concurrent programs with programmable state-space exploration. In Proc. 4th USENIX Conference on Hot Topics in Parallelism, HotPar '12. USENIX, 2012."},{"key":"e_1_3_2_1_6_1","volume-title":"Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience, 15(3--5):485--499","author":"Edelstein O.","year":"2003","unstructured":"O. Edelstein , E. Farchi , E. Goldin , Y. Nir , G. Ratsaby , and S. Ur . Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience, 15(3--5):485--499 , 2003 . O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur. Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience, 15(3--5):485--499, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462162"},{"key":"e_1_3_2_1_8_1","first-page":"266","volume-title":"Proc. 18th International Parallel and Distributed Processing Symposium, IPDPS '04","author":"Eytani Y.","year":"2004","unstructured":"Y. Eytani and S. Ur . Compiling a benchmark of documented multithreaded bugs . In Proc. 18th International Parallel and Distributed Processing Symposium, IPDPS '04 , pages 266 -- 273 . IEEE Computer Society , 2004 . Y. Eytani and S. Ur. Compiling a benchmark of documented multithreaded bugs. In Proc. 18th International Parallel and Distributed Processing Symposium, IPDPS '04, pages 266--273. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_9_1","first-page":"286.2","volume-title":"Proc. 17th International Symposium on Parallel and Distributed Processing, IPDPS '03","author":"Farchi E.","unstructured":"E. Farchi , Y. Nir , and S. Ur . Concurrent bug patterns and how to test them . In Proc. 17th International Symposium on Parallel and Distributed Processing, IPDPS '03 , pages 286.2 --. IEEE Computer Society, 2003. E. Farchi, Y. Nir, and S. Ur. Concurrent bug patterns and how to test them. In Proc. 17th International Symposium on Parallel and Distributed Processing, IPDPS '03, pages 286.2--. IEEE Computer Society, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356607"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025145"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_14_1","volume-title":"Concurrent programming in Java: design principles and patterns","author":"Lea D.","year":"1999","unstructured":"D. Lea . Concurrent programming in Java: design principles and patterns , 2 nd edition. Addison-Wesley , 1999 . D. Lea. Concurrent programming in Java: design principles and patterns, 2nd edition. Addison-Wesley, 1999.","edition":"2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_16_1","unstructured":"SIR. Software-artifact Infrastructure Repository. http:\/\/sir.unl.edu.  SIR. Software-artifact Infrastructure Repository. http:\/\/sir.unl.edu."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80582-6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941575"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336781"}],"event":{"name":"PPPJ '14: 2014 INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICES OF PROGRAMMING ON THE JAVA PLATFORM VIRTUAL MACHINES, LANGUAGES AND TOOLS","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Sabre Sabre","PK Cracow University of Technology","ACM Association for Computing Machinery"],"location":"Cracow Poland","acronym":"PPPJ '14"},"container-title":["Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2647508.2647523","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2647508.2647523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:01:12Z","timestamp":1750276872000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2647508.2647523"}},"subtitle":["a tool for cooperative testing of multithreaded Java programs"],"short-title":[],"issued":{"date-parts":[[2014,9,23]]},"references-count":19,"alternative-id":["10.1145\/2647508.2647523","10.1145\/2647508"],"URL":"https:\/\/doi.org\/10.1145\/2647508.2647523","relation":{},"subject":[],"published":{"date-parts":[[2014,9,23]]},"assertion":[{"value":"2014-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}