{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:37Z","timestamp":1750307497256,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T00:00:00Z","timestamp":1287964800000},"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":[[2010,10,25]]},"DOI":"10.1145\/1879211.1879247","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"215-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["TIE"],"prefix":"10.1145","author":[{"given":"Gowritharan","family":"Maheswara","sequence":"first","affiliation":[{"name":"University of Ontario Institute of Technology, Oshawa, ON, Canada"}]},{"given":"Jeremy S.","family":"Bradbury","sequence":"additional","affiliation":[{"name":"University of Ontario Institute of Technology, Oshawa, ON, Canada"}]},{"given":"Christopher","family":"Collins","sequence":"additional","affiliation":[{"name":"University of Ontario Institute of Technology, Oshawa, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2010,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Int. J. on Software Tools for Technology Transfer (STTT), 2(4)","author":"Havelund K.","year":"2000","unstructured":"K. Havelund and T. Pressburger . Model checking Java programs using Java PathFinder . Int. J. on Software Tools for Technology Transfer (STTT), 2(4) , 2000 . K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. Int. J. on Software Tools for Technology Transfer (STTT), 2(4), 2000."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/4434.656778"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390841.1390851"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806675"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062597"}],"event":{"name":"SOFTVIS '10: International Symposium on Software Visualization","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Salt Lake City Utah USA","acronym":"SOFTVIS '10"},"container-title":["Proceedings of the 5th international symposium on Software visualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879247","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879211.1879247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:40Z","timestamp":1750249060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879247"}},"subtitle":["an interactive visualization of thread interleavings"],"short-title":[],"issued":{"date-parts":[[2010,10,25]]},"references-count":5,"alternative-id":["10.1145\/1879211.1879247","10.1145\/1879211"],"URL":"https:\/\/doi.org\/10.1145\/1879211.1879247","relation":{},"subject":[],"published":{"date-parts":[[2010,10,25]]},"assertion":[{"value":"2010-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}