{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:14:55Z","timestamp":1729667695423,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/icst.2012.91","type":"proceedings-article","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T18:58:04Z","timestamp":1337972284000},"page":"111-120","source":"Crossref","is-referenced-by-count":26,"title":["Symbolic Execution with Interval Solving and Meta-heuristic Search"],"prefix":"10.1109","author":[{"given":"Mateus","family":"Borges","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"d'Amorim","sequence":"additional","affiliation":[]},{"given":"Saswat","family":"Anand","sequence":"additional","affiliation":[]},{"given":"David","family":"Bushnell","sequence":"additional","affiliation":[]},{"given":"Corina S.","family":"Pasareanu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"18","first-page":"134","article-title":"Pex-white box test generation for .NET","volume":"4966 lncs","author":"tillmann","year":"2008","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"journal-title":"AMPL A Modeling Language for Mathematical Programming","year":"2002","author":"fourer","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.18"},{"journal-title":"Constraint Processing","year":"2003","author":"dechter","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040766"},{"key":"3","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-642-20398-5_26","article-title":"CORAL: Solving Complex Constraints for Symbolic PathFinder","author":"souza","year":"2011","journal-title":"NASA Formal Methods"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.17"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-010-0124-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995281504"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"5","first-page":"142","article-title":"Flopsy - Search-based floating point constraint solving for symbolic execution","author":"lakhotia","year":"2010","journal-title":"ICTSS"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"}],"event":{"name":"2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2012,4,17]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,4,21]]}},"container-title":["2012 IEEE Fifth International Conference on Software Testing, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6200016\/6200080\/06200102.pdf?arnumber=6200102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:17:32Z","timestamp":1497986252000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6200102\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icst.2012.91","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}