{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:48Z","timestamp":1750306668337,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"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":[[2014,6,2]]},"DOI":"10.1145\/2593833.2593840","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"31-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Model based test case generation with metaheuristics for networks of timed automata"],"prefix":"10.1145","author":[{"given":"Joachim","family":"H\u00e4nsel","sequence":"first","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928036"},{"key":"e_1_3_2_1_4_1","volume-title":"4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on uppaal. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems : 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , number 3185 in LNCS, pages 200\u2013236. Springer\u2013Verlag, September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200\u2013236. Springer\u2013Verlag, September 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"Results and Analysis","author":"Binder R. V.","year":"2012","unstructured":"R. V. Binder . 2011 Model-based Testing User Survey : Results and Analysis , 2012 . R. V. Binder. 2011 Model-based Testing User Survey : Results and Analysis, 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.37"},{"key":"e_1_3_2_1_10_1","volume-title":"Automatic generation of test sequences form efsm models using evolutionary algorithms. Technical report","author":"Kalaji A.","year":"2008","unstructured":"A. Kalaji , R. M. Hierons , and S. Swift . Automatic generation of test sequences form efsm models using evolutionary algorithms. Technical report , Brunel University London , 2008 . A. Kalaji, R. M. Hierons, and S. Swift. Automatic generation of test sequences form efsm models using evolutionary algorithms. Technical report, Brunel University London, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2007.47"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"e_1_3_2_1_14_1","volume-title":"Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science, 111(Mbt):3\u201328","author":"Peleska J.","year":"2013","unstructured":"J. Peleska . Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science, 111(Mbt):3\u201328 , Mar. 2013 . J. Peleska. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science, 111(Mbt):3\u201328, Mar. 2013."},{"key":"e_1_3_2_1_15_1","first-page":"414","volume-title":"Notes in Theoretical Computer Science","author":"Rauh C.","year":"2002","unstructured":"C. Rauh , A. Knapp , and S. Merz . Model Checking Timed UML State Machines and Collaborations . Notes in Theoretical Computer Science , pages 395\u2013 414 , 2002 . C. Rauh, A. Knapp, and S. Merz. Model Checking Timed UML State Machines and Collaborations. Notes in Theoretical Computer Science, pages 395\u2013414, 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492248.2492274"},{"key":"e_1_3_2_1_17_1","first-page":"1240","volume-title":"GECCO","volume":"2","author":"Wegener J.","year":"2002","unstructured":"J. Wegener , K. Buhr , and H. Pohlheim . Automatic test data generation for structural testing of embedded software systems by evolutionary testing . In GECCO , volume 2 , pages 1233\u2013 1240 , 2002 . J. Wegener, K. Buhr, and H. Pohlheim. Automatic test data generation for structural testing of embedded software systems by evolutionary testing. In GECCO, volume 2, pages 1233\u20131240, 2002."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 7th International Workshop on Search-Based Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593833.2593840","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593833.2593840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:46Z","timestamp":1750230046000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593833.2593840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":16,"alternative-id":["10.1145\/2593833.2593840","10.1145\/2593833"],"URL":"https:\/\/doi.org\/10.1145\/2593833.2593840","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}