{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T16:58:25Z","timestamp":1774717105602,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,10]]},"DOI":"10.1145\/1181195.1181215","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"89-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic data environment construction for static device drivers analysis"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"Post","sequence":"first","affiliation":[{"name":"University of T\u00fcbingen \/ Symbolic Computation Group, T\u00fcbingen, Germany"}]},{"given":"Wolfgang","family":"K\u00fcchlin","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen \/ Symbolic Computation Group, T\u00fcbingen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2006,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776863"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"168","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Clarke E.","year":"2004","unstructured":"E. Clarke , D. Kroening , and F. Lerda . A tool for checking ANSI-C programs . In K. Jensen and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , volume 2988 of LNCS , pages 168 -- 176 . Springer , 2004 . E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In K. Jensen and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of LNCS, pages 168--176. Springer, 2004."},{"key":"e_1_3_2_1_3_1","unstructured":"V. Contributors. The SLAM Project. http:\/\/research.microsoft.com\/slam\/ 2006.  V. Contributors. The SLAM Project. http:\/\/research.microsoft.com\/slam\/ 2006."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767128"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_6_1","volume-title":"March","author":"van Leeuwen D.","year":"1999","unstructured":"D. van Leeuwen , E. Anderson , and J. Axboe . A Linux Cdrom Standard, kernel 2.6.15 edition , March 1999 . Found in Documentation\/ cdrom. D. van Leeuwen, E. Anderson, and J. Axboe. A Linux Cdrom Standard, kernel 2.6.15 edition, March 1999. Found in Documentation\/cdrom."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040334"},{"key":"e_1_3_2_1_9_1","first-page":"273","volume-title":"Proc. of the 16th Int. Conf. on Computer Aided Verification (CAV)","volume":"3114","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. R. Engler , and M. Musuvathi . Using model checking to find serious file system errors . In Proc. of the 16th Int. Conf. on Computer Aided Verification (CAV) , volume 3114 of LNCS, pages 273 -- 288 . Springer Berlin \/ Heidelberg , 2004 . J. Yang, P. Twohey, D. R. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In Proc. of the 16th Int. Conf. on Computer Aided Verification (CAV), volume 3114 of LNCS, pages 273--288. Springer Berlin \/ Heidelberg, 2004."}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","location":"Portland Oregon","acronym":"SIGSOFT06\/FSE-14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2006 conference on Specification and verification of component-based systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181195.1181215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:01:21Z","timestamp":1673308881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181195.1181215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,10]]},"references-count":9,"alternative-id":["10.1145\/1181195.1181215","10.1145\/1181195"],"URL":"https:\/\/doi.org\/10.1145\/1181195.1181215","relation":{},"subject":[],"published":{"date-parts":[[2006,11,10]]},"assertion":[{"value":"2006-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}