{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:45:54Z","timestamp":1729608354786,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/ewdts.2010.5742047","type":"proceedings-article","created":{"date-parts":[[2011,4,7]],"date-time":"2011-04-07T16:00:27Z","timestamp":1302192027000},"page":"152-155","source":"Crossref","is-referenced-by-count":2,"title":["GA-based and design by contract approach to test generation for EFSMs"],"prefix":"10.1109","author":[{"given":"Andrey","family":"Zakonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Stepanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"The Art of Software Testing","year":"2004","author":"myers","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.29"},{"key":"ref5","first-page":"322","article-title":"A Runtime Assertion Checker for the Java Modeling Language (JML)","author":"cheon","year":"2002","journal-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02)"},{"year":"0","key":"ref8","article-title":"JetBrains Meta Programming System User's Guide"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref2"},{"key":"ref9","first-page":"106","article-title":"UniMod: Method and Tool for Development of Reactive Object- Oriented Programs with Explicit States Emphasis","volume":"2","author":"gurov","year":"2005","journal-title":"St Petersburg IEEE Chapters Year 2005 International Conference “110 Anniversary of Radio Invention” SPb ETU “LETI”"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"}],"event":{"name":"Test Symposium (EWDTS)","start":{"date-parts":[[2010,9,17]]},"location":"St. Petersburg, Russia","end":{"date-parts":[[2010,9,20]]}},"container-title":["2010 East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5738234\/5742029\/05742047.pdf?arnumber=5742047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T22:11:29Z","timestamp":1497910289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5742047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2010.5742047","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}