{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:11:13Z","timestamp":1729613473039,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/ase.2006.10","type":"proceedings-article","created":{"date-parts":[[2006,12,13]],"date-time":"2006-12-13T10:33:43Z","timestamp":1166006023000},"page":"177-188","source":"Crossref","is-referenced-by-count":25,"title":["Accurate Centralization for Applying Model Checking on Networked Applications"],"prefix":"10.1109","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[]},{"given":"Pierre-loic","family":"Garoche","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"year":"0","key":"22"},{"journal-title":"The Java Virtual Machine Specification","year":"1999","author":"lindholm","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"18","first-page":"215","article-title":"Model checking of multi-process applications using SBUML and GDB","author":"nakagawa","year":"2005","journal-title":"Proc Workshop on Dependable Software Tools and Methods"},{"key":"15","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1145\/302405.302710","article-title":"a practical method for verifying event-driven software","author":"holzmann","year":"1999","journal-title":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE"},{"journal-title":"Concurrent Programming in Java","year":"1999","author":"lea","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-89874-6.50028-3"},{"journal-title":"The Java Language Specification","year":"2005","author":"gosling","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"21","first-page":"192","article-title":"Transformations for model checking distributed Java programs","volume":"2057","author":"stoller","year":"2001","journal-title":"LNCS"},{"article-title":"Software Model Checking of Distributed Applications with I\/O","year":"0","author":"artho","key":"3"},{"key":"20","first-page":"224","article-title":"Model-Checking Multi-threaded Distributed Java Programs","volume":"1885","author":"stoller","year":"2000","journal-title":"LNCS"},{"key":"2","first-page":"462","article-title":"JNuke: Efficient Dynamic Analysis for Java","volume":"3114","author":"artho","year":"2004","journal-title":"LNCS"},{"journal-title":"Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races","year":"2005","author":"artho","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277754"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"6"},{"year":"1999","author":"bruening","key":"5"},{"key":"4","first-page":"268","article-title":"Boolean and Cartesian Abstractions for Model Checking C Programs","volume":"2031","author":"ball","year":"2001","journal-title":"LNCS"},{"year":"2006","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"}],"event":{"name":"21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)","start":{"date-parts":[[2006,9,18]]},"location":"Tokyo","end":{"date-parts":[[2006,9,22]]}},"container-title":["21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4019543\/4019544\/04019573.pdf?arnumber=4019573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T08:04:13Z","timestamp":1497686653000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4019573\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ase.2006.10","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}