{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:23Z","timestamp":1750307423179,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T00:00:00Z","timestamp":1278460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,7,7]]},"DOI":"10.1145\/1830483.1830732","type":"proceedings-article","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:03:17Z","timestamp":1278885797000},"page":"1349-1356","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Search-based test data generation from stateflow statecharts"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Windisch","sequence":"first","affiliation":[{"name":"Berlin Institute of Technology, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software testing techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software testing techniques ( 2 nd ed.). Van Nostrand Reinhold Co. , New York, NY, USA , 1990 . B. Beizer. Software testing techniques (2nd ed.). Van Nostrand Reinhold Co., New York, NY, USA, 1990.","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756740"},{"key":"e_1_3_2_1_3_1","volume-title":"Mastering Simulink","author":"Dabney J. B.","year":"1997","unstructured":"J. B. Dabney and T. L. Harman . Mastering Simulink . Prentice Hall PTR , Upper Saddle River, NJ, USA, 1997 . J. B. Dabney and T. L. Harman. Mastering Simulink. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_5_1","volume-title":"Final Report for the European Comission","author":"Helmerich A.","year":"2005","unstructured":"A. Helmerich , N. Koch , L. Mandel , P. Braun , P. Dornbusch , A. Gruler , P. Keil , R. Leisibach , J. Romberg , B. Sch\u00e4tz , T. Wild , and G. Wimmel . Study of worldwide trends and R&D programmes in embedded systems in view of maximising the impact of a technology platform in the area . Final Report for the European Comission , Brussels, Belgium , 2005 . A. Helmerich, N. Koch, L. Mandel, P. Braun, P. Dornbusch, A. Gruler, P. Keil, R. Leisibach, J. Romberg, B. Sch\u00e4tz, T. Wild, and G. Wimmel. Study of worldwide trends and R&D programmes in embedded systems in view of maximising the impact of a technology platform in the area. Final Report for the European Comission, Brussels, Belgium, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0040"},{"key":"e_1_3_2_1_7_1","volume-title":"A search-based technique for automatic test generation from an extended finite state machine. Technical report","author":"Kalaji A.","year":"2009","unstructured":"A. Kalaji . A search-based technique for automatic test generation from an extended finite state machine. Technical report , Brunel University , Uxbridge , UB83PH, UK, 2009 . A. Kalaji. A search-based technique for automatic test generation from an extended finite state machine. Technical report, Brunel University, Uxbridge, UB83PH, UK, 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.29"},{"key":"e_1_3_2_1_9_1","volume-title":"Testing Computer Software","author":"Kaner C.","year":"1993","unstructured":"C. Kaner , H. Q. Nguyen , and J. L. Falk . Testing Computer Software . John Wiley & Sons, Inc. , New York, NY, USA , 1993 . C. Kaner, H. Q. Nguyen, and J. L. Falk. Testing Computer Software. John Wiley & Sons, Inc., New York, NY, USA, 1993."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756582.1756743"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"e_1_3_2_1_13_1","unstructured":"Reactive Systems Inc. Reactis model-based testing and validation user's guide. http:\/\/www.reactive-systems.com\/papers\/user.pdf. Last accessed: March 2010.  Reactive Systems Inc. Reactis model-based testing and validation user's guide. http:\/\/www.reactive-systems.com\/papers\/user.pdf. Last accessed: March 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450088"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291172"},{"key":"e_1_3_2_1_16_1","unstructured":"T-VEC Technologies Inc. T-vec test for simulink. http:\/\/www.t-vec.com\/solutions\/simulink.php. Last accessed: March 2010.  T-VEC Technologies Inc. T-vec test for simulink. http:\/\/www.t-vec.com\/solutions\/simulink.php. Last accessed: March 2010."},{"key":"e_1_3_2_1_17_1","unstructured":"The MathWorks Inc. Simulink. http:\/\/www.mathworks.com\/products\/simulink\/. Last accessed: March 2010.  The MathWorks Inc. Simulink. http:\/\/www.mathworks.com\/products\/simulink\/. Last accessed: March 2010."},{"key":"e_1_3_2_1_18_1","unstructured":"The MathWorks Inc. Simulink verification and validation. http:\/\/www.mathworks.com\/products\/simverification\/. Last accessed: March 2010.  The MathWorks Inc. Simulink verification and validation. http:\/\/www.mathworks.com\/products\/simverification\/. Last accessed: March 2010."},{"key":"e_1_3_2_1_19_1","unstructured":"The MathWorks Inc. Stateflow. http:\/\/www.mathworks.com\/products\/stateflow\/. Last accessed: March 2010.  The MathWorks Inc. Stateflow. http:\/\/www.mathworks.com\/products\/stateflow\/. Last accessed: March 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/521138.786846"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00190-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.22"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.16"},{"key":"e_1_3_2_1_24_1","first-page":"625","volume-title":"Proceedings of the 5th International Conference on Software Engineering and its Applications","author":"Xanthakis S. E.","year":"1992","unstructured":"S. E. Xanthakis , C. C. Skourlas , and A. LeGall . Application of genetic algorithms to software testing . In Proceedings of the 5th International Conference on Software Engineering and its Applications , pages 625 -- 636 , 1992 . S. E. Xanthakis, C. C. Skourlas, and A. LeGall. Application of genetic algorithms to software testing. In Proceedings of the 5th International Conference on Software Engineering and its Applications, pages 625--636, 1992."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.039"}],"event":{"name":"GECCO '10: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Portland Oregon USA","acronym":"GECCO '10"},"container-title":["Proceedings of the 12th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1830483.1830732","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1830483.1830732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:46Z","timestamp":1750246786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1830483.1830732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,7]]},"references-count":25,"alternative-id":["10.1145\/1830483.1830732","10.1145\/1830483"],"URL":"https:\/\/doi.org\/10.1145\/1830483.1830732","relation":{},"subject":[],"published":{"date-parts":[[2010,7,7]]},"assertion":[{"value":"2010-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}