{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:40:14Z","timestamp":1729662014862,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iwast.2012.6228992","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:07Z","timestamp":1341941767000},"page":"64-70","source":"Crossref","is-referenced-by-count":2,"title":["Category Partition Method and Satisfiability Modulo Theories for test case generation"],"prefix":"10.1109","author":[{"given":"Valentin","family":"Chimisliu","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71876-5_8"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214323"},{"key":"13","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-24667-1_14","article-title":"Pluto: A test methodology for product families","volume":"3014","author":"bertolino","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-005-0006-0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"3","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.03.005"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1992.235766"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.319"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"6"},{"journal-title":"Oracle PL\/SQL Programming (2nd Ed )","year":"1997","author":"feuerstein","key":"5"},{"journal-title":"C The Smt-lib Standard Version 2 0","year":"2010","author":"barrett","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080803"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2000.879426"}],"event":{"name":"2012 7th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 7th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220303\/6228973\/06228992.pdf?arnumber=6228992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:11:12Z","timestamp":1497978672000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6228992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iwast.2012.6228992","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}