{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:26:49Z","timestamp":1729618009291,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693075","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"147-157","source":"Crossref","is-referenced-by-count":10,"title":["Ranger: Parallel analysis of alloy models by range partitioning"],"prefix":"10.1109","author":[{"given":"Nicolas","family":"Rosner","sequence":"first","affiliation":[]},{"given":"Junaid H.","family":"Siddiqui","sequence":"additional","affiliation":[]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"294","article-title":"Formal modeling and analysis of a flash filesystem in alloy","volume":"5238","author":"kang","year":"0","journal-title":"LNCS"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"35"},{"journal-title":"IEEE Standard for a High Performance Serial Bus","year":"0","key":"17"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2002.808407"},{"journal-title":"Software Abstractions","year":"2006","author":"jackson","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.27"},{"key":"15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SAT190063","article-title":"PMSat: A parallel version of MiniSAT","volume":"6","author":"gil","year":"2008","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"34","first-page":"757","article-title":"An incremental approach to scope- bounded checking using a lightweight formal method","author":"shao","year":"2009","journal-title":"FM"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.3233\/SAT190070","article-title":"ManySAT: A parallel SAT solver","volume":"6","author":"hamadi","year":"2009","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.15"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"11","article-title":"An extensible SAT-solver","author":"een","year":"2003","journal-title":"SAT"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382784"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5229-1_12"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.01.049"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_23"},{"key":"22","article-title":"Using the spec# language, methodology, and tools to write bug-free programs","author":"leino","year":"2009","journal-title":"Manuscript KRML 189"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287645"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_44"},{"journal-title":"OCL Specification v 2 3 1","year":"2012","key":"26"},{"key":"27","article-title":"C-sat: A parallel SAT solver for clusters","volume":"5585","author":"ohmura","year":"2009","journal-title":"LNCS"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483770"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54108-7_5"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287653"},{"key":"1","article-title":"Tight bounds + Incremental SAT = Better test generation under rich contracts","author":"abad","year":"2013","journal-title":"Proceedings 1st International Conference on Software Testing Verification and Validation (ICST)"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00311-7"},{"key":"7","article-title":"GrADSAT: A parallel SAT solver for the grid","author":"chrabakh","year":"0","journal-title":"UCSB Computer Science Technical Report Number 2003-05"},{"key":"6","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384654"},{"key":"5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/566172.566191","article-title":"Korat: Automated testing based on Java predicates","author":"boyapati","year":"2002","journal-title":"ISSTA"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.48"},{"key":"4","article-title":"Lingeling plingeling PicoSAT and PrecoSAT at SAT race","author":"biere","year":"2010","journal-title":"Solver Description Special Track 1 (Parallel CNF) SAT-Race 2010"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01843566"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146251"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693075.pdf?arnumber=6693075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T12:09:19Z","timestamp":1597320559000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693075\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693075","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}