{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:10Z","timestamp":1775873530872,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"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":47,"title":["Using dynamic analysis to discover polynomial and array invariants"],"prefix":"10.1109","author":[{"given":"ThanhVu","family":"Nguyen","sequence":"first","affiliation":[{"name":"Computer Science, University of New Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Kapur","sequence":"additional","affiliation":[{"name":"Computer Science, University of New Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"Computer Science, University of Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[{"name":"Computer Science, University of New Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Partial evaluation and automatic program generation","author":"Jones","year":"1993"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268497"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/360827.360850"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312821"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/360032.360048"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512963"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/tse.1981.234518"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/icsm.2001.972767"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972794"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781153"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_39"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/362452.362489"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9706-9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03427-9"},{"key":"ref20","article-title":"Sage Mathematics Software","author":"Stein","year":"2012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/980175.980185"},{"key":"ref22","article-title":"The Z3 SMT Solver","author":"de Moura","year":"2012"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.002"},{"key":"ref24","article-title":"Automatic generation of polynomial invariants for system verification","author":"Carbonell","year":"2006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270355"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_29"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240294"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240293"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"ref34","article-title":"Automatic detection of invariants in Spin","author":"Vaziri","year":"1998","journal-title":"SPIN Model Checking and Software Verification"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"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":[[2025,5,21]],"date-time":"2025-05-21T05:53:47Z","timestamp":1747806827000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227149","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}