{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T01:01:38Z","timestamp":1779152498343,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606569","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"232-241","source":"Crossref","is-referenced-by-count":45,"title":["Aluminum: Principled scenario exploration through minimality"],"prefix":"10.1109","author":[{"given":"Tim","family":"Nelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salman","family":"Saghafi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Dougherty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathi","family":"Fisler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61208-4_18"},{"key":"22","author":"janota","year":"2010","journal-title":"SAT Solving in Interactive Configuration"},{"key":"17","author":"mccune","year":"0"},{"key":"18","article-title":"SEM: A system for enumerating models","author":"zhang","year":"1995","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/588097.588100"},{"key":"16","volume":"2","author":"robinson","year":"2001","journal-title":"Handbook of Automated Reasoning"},{"key":"13","author":"wilcox","year":"2012","journal-title":"Introduction to Robust Estimation and Hypothesis Testing"},{"key":"14","author":"lobo","year":"1992","journal-title":"Foundations of Disjunctive Logic Programming"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2005.10.018"},{"key":"12","article-title":"Symmetrybreaking predicates for search problems","author":"crawford","year":"1996","journal-title":"Principles of Knowledge Representation and Reasoning"},{"key":"21","article-title":"Minimal model generation with respect to an atom set","author":"koshimura","year":"2009","journal-title":"International Workshop on First-Order Theorem Proving"},{"key":"3","article-title":"The margrave tool for firewall analysis","author":"nelson","year":"2010","journal-title":"USENIX Large Installation System Administration Conference"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006291616338"},{"key":"2","author":"jackson","year":"2012","journal-title":"Software Abstractions"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_10"},{"key":"10","article-title":"The Sat4j library, release 2.2","author":"berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2945.468391"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.27"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_41"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062502"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"8","article-title":"PolicyVis: Firewall security policy visualization and inspection","author":"tran","year":"2007","journal-title":"USENIX Large Installation System Administration Conference"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606569.pdf?arnumber=6606569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:09:40Z","timestamp":1490234980000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606569","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}