{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:15:06Z","timestamp":1725808506356},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319133379"},{"type":"electronic","value":"9783319133386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13338-6_13","type":"book-chapter","created":{"date-parts":[[2014,11,2]],"date-time":"2014-11-02T22:35:45Z","timestamp":1414967745000},"page":"165-170","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study"],"prefix":"10.1007","author":[{"given":"Mikhail","family":"Lukin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxim","family":"Buzdalov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Buzdalov, M., Sokolov, A.: Evolving EFSMs Solving a Path-Planning Problem by Genetic Programming. In: Proceedings of GECCO Companion, pp. 591\u2013594 (2012)","DOI":"10.1145\/2330784.2330880"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Chivilikhin, D., Ulyantsev, V.: MuACOsm: A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines. In: Proceedings of GECCO, pp. 511\u2013518 (2013)","DOI":"10.1145\/2463372.2463440"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1134\/S0361768807060059","volume":"33","author":"V. Gurov","year":"2007","unstructured":"Gurov, V., Mazin, M., Narvsky, A., Shalyto, A.: Tools for support of automata-based programming. Programming and Computer Software\u00a033(6), 343\u2013355 (2007)","journal-title":"Programming and Computer Software"},{"issue":"5","key":"13_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1134\/S0361768808010040","volume":"34","author":"E.V. Kuzmin","year":"2008","unstructured":"Kuzmin, E.V., Sokolov, V.A.: Modeling, specification, and verification of automaton programs. Programming and Computer Software\u00a034(1), 27\u201343 (2008)","journal-title":"Programming and Computer Software"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF01840369","volume":"2","author":"V. Lumelsky","year":"1987","unstructured":"Lumelsky, V., Stepanov, A.: Path planning strategies for a point mobile automaton moving amidst unknown obstacles of arbitraty shape. Algorithmica\u00a02, 403\u2013430 (1987)","journal-title":"Algorithmica"},{"key":"13_CR7","unstructured":"Pingree, P.J., Mikk, E., Holzmann, G.J., Smith, M.H., Dams, D.: Validation of mission critical software design and implementation using model checking (2002), \n                  \n                    http:\/\/spinroot.com\/gerard\/pdf\/02-1911.pdf"},{"key":"13_CR8","unstructured":"Polikarpova, N., Shalyto, A.: Automata-based Programming, 2nd edn. Piter (2011) (in Russian)"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1002837232103","volume":"62","author":"A. Shalyto","year":"2001","unstructured":"Shalyto, A.: Logic control and reactive systems: Algorithmization and programming. Automation and Remote Control\u00a062(1), 1\u201329 (2001)","journal-title":"Automation and Remote Control"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Tsarev, F., Egorov, K.: Finite State Machine Induction Using Genetic Algorithm Based on Testing and Model Checking. In: Proceedings of GECCO Companion, pp. 759\u2013762 (2011)","DOI":"10.1145\/2001858.2002085"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1109\/TSMCC.2013.2266914","volume":"44","author":"C.H. Yang","year":"2014","unstructured":"Yang, C.H., Vyatkin, V., Pang, C.: Model-driven development of control software for distributed automation: a survey and an approach. IEEE Transactions on Systems, Man and Cybernetics\u00a044(3), 292\u2013305 (2014)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13338-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T03:38:46Z","timestamp":1548905926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13338-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319133379","9783319133386"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13338-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}