{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:34:21Z","timestamp":1732034061509,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100154","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"93-102","source":"Crossref","is-referenced-by-count":7,"title":["Identifying future field accesses in exhaustive state space traversal"],"prefix":"10.1109","author":[{"given":"Pavel","family":"Parizek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ondrej","family":"Lhotak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"journal-title":"JPapaBench","year":"0","key":"17"},{"key":"18","article-title":"Scaling Java Points-to Analysis Using Spark","author":"lhota?k","year":"2003","journal-title":"CC"},{"journal-title":"Java PathFinder","year":"0","key":"15"},{"key":"16","article-title":"Semantic Reduction of Thread Interleavings in Concurrent Programs","author":"kahlon","year":"2009","journal-title":"TACAS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134024"},{"journal-title":"Java Grande Forum Benchmarks","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"12","article-title":"Dynamic Partial-Order Reduction for Model Checking Software","author":"flanagan","year":"0","journal-title":"Proc of POPL 2005"},{"key":"21","article-title":"Finding and Reproducing Heisenbugs in Concurrent Programs","author":"musuvathi","year":"2008","journal-title":"OSDI"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1145\/1133981.1134018","article-title":"Effective Static Race Detection for Java","author":"naik","year":"2006","journal-title":"PLDI"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"journal-title":"Parallel Java Benchmarks","year":"0","key":"25"},{"journal-title":"Daisy File System Joint CAV\/ISSTA Special Event on Specification Verification and Testing of Concurrent Software","year":"2004","author":"qadeer","key":"26"},{"journal-title":"SPEC JBB 2005 Benchmark","year":"0","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"29","doi-asserted-by":"crossref","DOI":"10.1145\/1094811.1094817","article-title":"Demand-driven Pointsto Analysis for Java","author":"sridharan","year":"2005","journal-title":"OOPSLA"},{"key":"3","article-title":"Static Analyses for Eliminating Unnecessary Synchronization from Java Programs","volume":"1694","author":"aldrich","year":"0","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101944"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040028.49845.67"},{"journal-title":"Component Reliability Extensions for Fractal Component Model","year":"2006","author":"adamek","key":"1"},{"journal-title":"WALA","year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321678"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85289-6_14"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989812"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328463"},{"journal-title":"Program analysis and specialization for the C programming language","year":"1994","author":"andersen","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1133956.1133975"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100154.pdf?arnumber=6100154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T22:19:20Z","timestamp":1686521960000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100154","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}