{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:01:14Z","timestamp":1729652474453,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970527","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"201-209","source":"Crossref","is-referenced-by-count":8,"title":["EFSM-based model-driven approach to concolic testing of system-level design"],"prefix":"10.1109","author":[{"given":"Giuseppe","family":"Di Guglielmo","sequence":"first","affiliation":[]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Soffia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/225871.225880"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"ref15","first-page":"120","article-title":"Smart simulation using collaborative formal and simulation engines","author":"ho","year":"2000","journal-title":"Proceedings of the 2000 IEEE\/ACM International Conference on Computer-aided Design"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref18","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/11532378_2","article-title":"The llvm compiler framework and infrastructure tutorial","author":"lattner","year":"2005","journal-title":"Languages and Compilers for High Performance Computing"},{"journal-title":"IAR visuaISTATE","year":"0","key":"ref4"},{"journal-title":"Simulink","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/b135980"},{"journal-title":"radCASE","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2004.1300337"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036081"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"ref20","first-page":"134","article-title":"Pex: white box test generation for .NET","author":"tillmann","year":"2008","journal-title":"Proc of the 2nd International Conference on Tests and Proofs"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(99)00227-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275300"},{"key":"ref24","volume":"3","author":"hopcroft","year":"1979","journal-title":"Introduction to Automata Theory Languages and Computation"},{"journal-title":"A Search-Based Technique for Automatic Test Generation from an Extended Finite State Machine","year":"0","author":"kalaji","key":"ref23"},{"key":"ref26","article-title":"Computer Aided Verification","volume":"2404","year":"2002","journal-title":"14th International Conference CAV 2002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496660"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970527.pdf?arnumber=5970527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T15:02:47Z","timestamp":1560438167000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970527\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970527","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}