{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:00:38Z","timestamp":1760799638141,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176655","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:29Z","timestamp":1361279789000},"page":"1078-1083","source":"Crossref","is-referenced-by-count":24,"title":["Debugging of inconsistent UML\/OCL models"],"prefix":"10.1109","author":[{"given":"R.","family":"Wille","sequence":"first","affiliation":[]},{"given":"M.","family":"Soeken","sequence":"additional","affiliation":[]},{"given":"R.","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985927"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_23"},{"key":"18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-21470-7_6","article-title":"Assessing the Kodkod Model Finder for Resolving Model Inconsistencies","volume":"6698","author":"straeten","year":"2011","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0166-218X(02)00399-2","article-title":"Approximating minimal unsatisfiable subformulae by means of adaptive core search","volume":"130","author":"bruni","year":"2003","journal-title":"Discrete Applied Mathematics"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45669-4_6"},{"key":"14","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-70545-1_28","article-title":"The MathSAT 4 SMT Solver","volume":"5123","author":"bruttomesso","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"11","first-page":"174","article-title":"Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763177"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9028-9"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/11817963_11","article-title":"A Fast Linear-Arithmetic Solver for DPLL(T)","volume":"4144","author":"dutertre","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"journal-title":"Verification of Object-Oriented Software The KeY Approach","year":"2007","author":"beckert","key":"6"},{"journal-title":"The HOL-OCL Book","year":"2006","author":"brucker","key":"5"},{"key":"4","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-02949-3_8","article-title":"Consistency, Independence and Consequences in UML and OCL Models","author":"gogolla","year":"2009","journal-title":"Tests and Proofs"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"8","first-page":"436","article-title":"UML2Alloy: A Challenging Model Transformation","author":"anastasakis","year":"0","journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems Oct 2007"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","start":{"date-parts":[[2012,3,12]]},"location":"Dresden","end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176655.pdf?arnumber=6176655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:48:18Z","timestamp":1498016898000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176655\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176655","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}