{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:43:12Z","timestamp":1725619392720},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/ase.2006.43","type":"proceedings-article","created":{"date-parts":[[2006,12,13]],"date-time":"2006-12-13T10:33:43Z","timestamp":1166006023000},"page":"113-122","source":"Crossref","is-referenced-by-count":3,"title":["Integrating and Scheduling an Open Set of Static Analyses"],"prefix":"10.1109","author":[{"given":"Michael","family":"Eichberg","sequence":"first","affiliation":[]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Kloppenburg","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Rank","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"17","article-title":"Checking system rules using system-specific, programmer-written compiler extensions","author":"engler","year":"0","journal-title":"Proc OSDI 2000"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094884"},{"key":"15","article-title":"Using annotations to check structural properties of classes","author":"eichberg","year":"0","journal-title":"Proceedings of FASE 2005"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2004.45"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2004.1290468"},{"journal-title":"The bytecode analysis toolkit (BAT)","year":"2006","author":"eichberg","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.006"},{"year":"0","author":"koch","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"22","article-title":"Findings security errors in Java applications using lightweight static analysis. In ACSAC","author":"livshits","year":"2004","journal-title":"A work in progress report"},{"key":"23","article-title":"Finding application errors and security flaws using pql: A program query language","author":"martin","year":"0","journal-title":"Proceedings of OOPSLA 2005"},{"journal-title":"Microsoft Prefast with driver-specific rules","year":"2004","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007545"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028774"},{"journal-title":"Principles of database and knowledge-base systems","year":"1988","author":"ullman","key":"27"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004368"},{"journal-title":"Magellan","year":"2005","author":"eichberg","key":"10"},{"year":"0","key":"1"},{"journal-title":"Bytecode engineering library","year":"2006","author":"dahm","key":"7"},{"journal-title":"Pmd 3 0","year":"2005","author":"copeland","key":"6"},{"key":"5","article-title":"Xquery 1.0: An xml query language","author":"boag","year":"2005","journal-title":"W3C Working Draft"},{"year":"0","key":"4"},{"journal-title":"Eclipse 3 1","year":"2005","key":"9"},{"journal-title":"Enterprise JavaBeans Specification Version 2 1","year":"2003","author":"demichiel","key":"8"}],"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\/04019567.pdf?arnumber=4019567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T14:04:14Z","timestamp":1489586654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4019567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ase.2006.43","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}