{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:01:22Z","timestamp":1742799682108,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/sefm.2008.13","type":"proceedings-article","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T09:47:13Z","timestamp":1227692833000},"page":"191-200","source":"Crossref","is-referenced-by-count":6,"title":["Behaviour Directed Testing of Auto-code Generators"],"prefix":"10.1109","author":[{"given":"Prahladavaradan","family":"Sampath","sequence":"first","affiliation":[]},{"given":"A. C.","family":"Rajeev","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]},{"given":"K. C.","family":"Shashidhar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"year":"0","key":"33"},{"key":"15","first-page":"19","article-title":"controllable combinatorial coverage in grammar-based testing","author":"la?mmel","year":"2006","journal-title":"TESTCOM"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321653"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45314-8_15"},{"key":"11","first-page":"323","article-title":"sdl versus c equivalence checking","author":"haroud","year":"2005","journal-title":"SDL Forum"},{"key":"12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","article-title":"tgv: theory, principles and algorithms","volume":"7","author":"jard","year":"2005","journal-title":"STTT"},{"key":"21","first-page":"235","article-title":"translation validation for synchronous languages","author":"pnueli","year":"1998","journal-title":"ICALP"},{"year":"0","key":"20"},{"key":"22","article-title":"a semantics for stateflow","author":"rajeev","year":"0","journal-title":"Manuscript under preparation (available on request)"},{"journal-title":"Rhapsody UML Telelogic","year":"0","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.39"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.24"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"27","first-page":"221","article-title":"verification of source code transformations by program equivalence checking","author":"shashidhar","year":"2005","journal-title":"CC"},{"journal-title":"Stateflow release notes The Mathworks Inc","year":"0","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70708"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00055-7"},{"key":"2","first-page":"291","article-title":"tvoc: a translation validator for optimizing compilers","author":"barrett","year":"2005","journal-title":"CAV"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0049-7"},{"key":"1","first-page":"194","article-title":"generating test cases for code generators by unfolding graph transformation systems","author":"baldan","year":"2004","journal-title":"ICGT"},{"key":"30","first-page":"101","article-title":"casting: a formally based software test generation method","author":"van aertryck","year":"1997","journal-title":"ICFEM"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"year":"0","key":"6"},{"key":"32","first-page":"365","article-title":"symstra: a framework for generating object-oriented unit tests using symbolic execution","author":"xie","year":"2005","journal-title":"TACAS"},{"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.1145\/1146238.1146243"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.031"}],"event":{"name":"2008 Sixth IEEE International Conference on Software Engineering and Formal Methods","start":{"date-parts":[[2008,11,10]]},"location":"Cape Town, South Africa","end":{"date-parts":[[2008,11,14]]}},"container-title":["2008 Sixth IEEE International Conference on Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4685778\/4685779\/04685806.pdf?arnumber=4685806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:08:48Z","timestamp":1557932928000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4685806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/sefm.2008.13","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}