{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:00:44Z","timestamp":1729638044302,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227149","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"683-693","source":"Crossref","is-referenced-by-count":40,"title":["Using dynamic analysis to discover polynomial and array invariants"],"prefix":"10.1109","author":[{"given":"ThanhVu","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Deepak","family":"Kapur","sequence":"additional","affiliation":[]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[]},{"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Computational Geometry Algorithms and Applications","year":"1997","author":"de berg","key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03427-9"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"journal-title":"Programming in the 1990s An Introduction to the Calculation of Programs","year":"1990","author":"cohen","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-30579-8_2","article-title":"Scalable analysis of linear systems using mathematical programming","author":"sankaranarayanan","year":"2005","journal-title":"Verification Model Checking and Abstract Interpretation"},{"journal-title":"SPIN Model Checking and Software Verification","article-title":"Automatic detection of invariants in Spin","year":"1998","author":"vaziri","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/362452.362489"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/781151.781153"},{"key":"14","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1007\/978-3-540-31954-2_39","article-title":"Modeling, optimization and computation for software verification","author":"roozbehani","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"12","first-page":"21","article-title":"The Astre?e analyzer","author":"cousot","year":"0","journal-title":"European Symposium on Programming 2005"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/980175.980185"},{"journal-title":"SAGE Mathematics Software","year":"2012","author":"stein","key":"20"},{"journal-title":"The Z3 SMT Solver","year":"2012","author":"de moura","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.002"},{"journal-title":"Automatic Generation of Polynomial Invariants for System Verification","year":"2006","author":"carbonell","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270355"},{"key":"26","first-page":"305","article-title":"Formal verification by reverse synthesis","author":"yin","year":"0","journal-title":"Conference on Computer Safety Reliability and Security 2008"},{"key":"27","first-page":"500","article-title":"Houdini, an annotation assistant for ESC\/Java","author":"flanagan","year":"2001","journal-title":"Formal Methods for Increasing Software Productivity"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240294"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268497"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972794"},{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512963"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/360032.360048"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312821"},{"key":"31","first-page":"40","article-title":"Tool-assisted unit test selection based on operational violations","author":"xie","year":"0","journal-title":"International Conference on Automated Software Engineering 2003"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/360827.360850"},{"journal-title":"Dynamically Detecting Likely Program Invariants","year":"2000","author":"ernst","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TSE.1981.234518","article-title":"inference rules for program annotation","volume":"se 7","author":"dershowitz","year":"1981","journal-title":"IEEE Transactions on Software Engineering"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227149.pdf?arnumber=6227149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T13:33:34Z","timestamp":1594388014000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":34,"URL":"http:\/\/dx.doi.org\/10.1109\/icse.2012.6227149","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}
