{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T06:41:29Z","timestamp":1725432089288},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/idt.2013.6727084","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T23:35:43Z","timestamp":1391211343000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Grammar-based program generation based on model finding"],"prefix":"10.1109","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"19"},{"year":"0","key":"22"},{"key":"17","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","article-title":"UML2Alloy:A challenging model transformation","author":"anastasakis","year":"2007","journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems"},{"year":"0","key":"23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"year":"0","key":"24"},{"year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"journal-title":"The Definite ANTLR4 Reference The Pragmatic Bookshelf","year":"2012","author":"parr","key":"13"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"14"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2008","author":"steinberg","key":"11"},{"year":"0","key":"12"},{"key":"21","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for Construction and Analysis of Systems Volume 4963 of Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"20","article-title":"EMFtocsp:A tool for the lightweight verification of emf models","author":"pe?rez","year":"2012","journal-title":"Formal Methods in Software Engineering Rigorous and Agile Approaches"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287708"},{"key":"7","first-page":"123","article-title":"Korat:Automated testing based on java predicates","author":"boyapati","year":"2002","journal-title":"Int'l Symp on Software Testing and Analysis"},{"key":"6","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/978-3-642-28891-3_12","article-title":"Testing static analyzers with randomly generated programs","author":"cuoq","year":"2012","journal-title":"Int'l Symposium on NASA Formal Methods"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"}],"event":{"name":"2013 Design and Test Symposium (IDT)","start":{"date-parts":[[2013,12,16]]},"location":"Marrakesh, Morocco","end":{"date-parts":[[2013,12,18]]}},"container-title":["2013 8th IEEE Design and Test Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6717187\/6727071\/06727084.pdf?arnumber=6727084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T07:05:29Z","timestamp":1498115129000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6727084\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/idt.2013.6727084","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}