{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:52:28Z","timestamp":1729677148797,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115689","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"782-792","source":"Crossref","is-referenced-by-count":22,"title":["Automatic loop-invariant generation anc refinement through selective sampling"],"prefix":"10.1109","author":[{"given":"Jiaying","family":"Li","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Li","family":"Li","sequence":"additional","affiliation":[]},{"given":"Quang Loc","family":"Le","sequence":"additional","affiliation":[]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Sequential minimal optimization A fast algorithm for training support vector machines","year":"1998","author":"platt","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0118-1"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/ASE.2015.33","article-title":"Interpolation guided compositional verification (t)","author":"lin","year":"2015","journal-title":"Automated Software Engineering (ASE) 2015 30th IEEE\/ACM International Conference on IEEE"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2099-5_1"},{"key":"ref31","first-page":"229","article-title":"Subpolyhedra: A (more) scalable approach to infer linear inequalities","author":"laviron","year":"2009","journal-title":"VMCAI"},{"key":"ref30","first-page":"6","author":"jeannet","year":"2010","journal-title":"Interproc Analyzer for Recursive Programs with Numerical Variables"},{"journal-title":"Perceptrons An Introduction to Computational Geometry","year":"1972","author":"minsky","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/11817963_14","article-title":"Lazy abstraction with interpolants","author":"mcmillan","year":"2006","journal-title":"Computer Aided Verification"},{"key":"ref34","first-page":"1","article-title":"Interpolation and sat-based model checking","author":"mcmillan","year":"2003","journal-title":"Computer Aided Verification"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","article-title":"Software verification with blast","author":"henzinger","year":"2003","journal-title":"Model Checking Software"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964021"},{"key":"ref29","volume":"1","author":"huang","year":"2006","journal-title":"Kernal Based Algorithms for Mining Huge Data Sets"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0252-5"},{"year":"2017","author":"repository","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837664"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_33"},{"key":"ref21","first-page":"443","article-title":"Query by committee made real","author":"gilad-bachrach","year":"2005","journal-title":"NIPS"},{"key":"ref24","first-page":"120","article-title":"Constraint-based invariant inference over predicate abstraction","author":"gulwani","year":"2009","journal-title":"VMCAI"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375616"},{"key":"ref26","first-page":"634","article-title":"Invgen: An efficient invariant generator","author":"gupta","year":"2009","journal-title":"Computer Aided Verification 21st International Conference CAV 2009"},{"key":"ref25","first-page":"634","article-title":"Invgen: An efficient invariant generator","author":"gupta","year":"2009","journal-title":"21st Intl Conf on Computer-Aided Verification"},{"key":"ref50","first-page":"45","article-title":"Support vector machine active learning with applications to text classification","volume":"2","author":"tong","year":"2001","journal-title":"Journal of Machine Learning Research"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116251"},{"key":"ref12","first-page":"420","article-title":"Linear invariant generation using non-linear constraint solving","author":"col\u00f3n","year":"2003","journal-title":"CAV"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref14","first-page":"235","article-title":"Coarse sample complexity bounds for active learning","author":"dasgupta","year":"2005","journal-title":"NIPS"},{"key":"ref15","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref17","first-page":"443","article-title":"Inductive invariant generation via abductive inference","author":"dillig","year":"2013","journal-title":"OOPSLA"},{"key":"ref18","first-page":"69","article-title":"ICE: A robust framework for learning invariants","author":"garg","year":"2014","journal-title":"Computer Aided Verification — 26th International Conference CAV 2014 Held as Part of the Vienna Summer of Logic VSL 2014"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"ref4","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref3","first-page":"260","article-title":"The SLAM toolkit","author":"ball","year":"2001","journal-title":"CAV"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10009-007-0044-z","article-title":"The software model checker blast","volume":"9","author":"beyer","year":"2007","journal-title":"STTT"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/130385.130401"},{"key":"ref7","first-page":"184","article-title":"Cpachecker: A tool for configurable software verification","author":"beyer","year":"2011","journal-title":"CAV"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/500156.500159"},{"key":"ref9","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref46","first-page":"574","article-title":"A data driven approach for algebraic loop invariants","author":"sharma","year":"2013","journal-title":"ESOP"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_57"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_11"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-642-38856-9_21","article-title":"Verification as learning geometric concepts","author":"sharma","year":"2013","journal-title":"Static Analysis Symposium"},{"key":"ref42","first-page":"839","article-title":"Less is more: Active learning with support vector machines","author":"schohn","year":"2000","journal-title":"ICML"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-036-2.50036-9"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_6"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.2200\/S00429ED1V01Y201207AIM018"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115689.pdf?arnumber=8115689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T14:31:50Z","timestamp":1570372310000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115689\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115689","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}