{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:01:47Z","timestamp":1729641707515,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/ijcnn.2012.6252469","type":"proceedings-article","created":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T20:47:51Z","timestamp":1343854071000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Support vector machines for program analysis"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Flexeder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Putz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Runkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2012","journal-title":"IDAPro Disassembler","key":"19"},{"year":"2012","key":"22"},{"key":"17","first-page":"189","article-title":"Two approaches to interprocedural data flow analysis","author":"sharir","year":"1981","journal-title":"Program Flow Analysis Theory and Application"},{"year":"2008","author":"singh","journal-title":"AvatarSAT An Auto-tuning Boolean SAT Solver","key":"18"},{"key":"15","article-title":"On the power of clause-learning SAT solvers with restarts","author":"pipatsrisawat","year":"2009","journal-title":"Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming CP'09"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/BF00117105"},{"key":"13","article-title":"Programming in scala: A comprehensive step-by-step guide","author":"odersky","year":"2008","journal-title":"Artima Incorporation"},{"key":"14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-540-72693-7_15","article-title":"Advances in biologically inspired information systems: Models, methods, and tools, ant colony optimization and its application to regular and dynamic MAX-SAT problems","volume":"69","author":"pinto","year":"2007","journal-title":"Studies in Computational Intelligence"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1098\/rsta.1909.0016"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1007\/978-3-662-03811-6"},{"year":"2012","key":"21"},{"key":"3","volume":"20","author":"cortes","year":"1995","journal-title":"Support-Vector Networks and Machine Learning"},{"year":"2012","key":"20"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"2"},{"year":"2006","author":"bishop","journal-title":"Pattern Recognition and Machine Learning Information Science and Statistics","key":"1"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1145\/1926385.1926391"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.5772\/8610"},{"year":"2005","author":"frey","journal-title":"PowerPC Architecture Book Version 2 02","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/978-3-642-17164-2_14","article-title":"Interprocedural control flow reconstruction, asian symposium on program languages and systems","volume":"6461","author":"flexeder","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1111\/j.1469-1809.1936.tb02137.x"},{"year":"2006","author":"gupta","journal-title":"Learning Abstractions for Model Checking","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1093\/jigpal\/jzl007"}],"event":{"name":"2012 International Joint Conference on Neural Networks (IJCNN 2012 - Brisbane)","start":{"date-parts":[[2012,6,10]]},"location":"Brisbane, Australia","end":{"date-parts":[[2012,6,15]]}},"container-title":["The 2012 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6241467\/6252360\/06252469.pdf?arnumber=6252469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:19:44Z","timestamp":1497997184000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6252469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ijcnn.2012.6252469","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}