{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T09:04:13Z","timestamp":1726304653281},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,11]]},"DOI":"10.1145\/1370042.1370052","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"45-48","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["A test generation solution to automate software testing"],"prefix":"10.1145","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[{"name":"University of Besan\u00e7on, Besan\u00e7on, France"}]},{"given":"Christophe","family":"Grandpierre","sequence":"additional","affiliation":[{"name":"LEIRIOS, Besan\u00e7on, France"}]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[{"name":"LEIRIOS, Besan\u00e7on, France"}]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[{"name":"LEIRIOS, Besan\u00e7on, France"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Practical Model-Based Testing - A tools approach","author":"Utting M.","year":"2007","unstructured":"M. Utting and B. Legeard . Practical Model-Based Testing - A tools approach . Elsevier Science\/Morgan & amp; Kaufmann, 2007 . 454 pages, ISBN 0-12-372501-1. M. Utting and B. Legeard. Practical Model-Based Testing - A tools approach. Elsevier Science\/Morgan & Kaufmann, 2007. 454 pages, ISBN 0-12-372501-1."},{"key":"e_1_3_2_1_2_1","first-page":"1170","author":"Utting M.","year":"2006","unstructured":"M. Utting , A. Pretshner and B. Legeard . A taxonomy of Model-Based Testing. Working Paper , April 2006 . ISSN 1170 - 1487 X. M. Utting, A. Pretshner and B. Legeard. A taxonomy of Model-Based Testing. Working Paper, April 2006. ISSN 1170-487X.","journal-title":"A taxonomy of Model-Based Testing. Working Paper"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291545"},{"key":"e_1_3_2_1_4_1","volume-title":"The Object Constraint Language","author":"Warmer J.","year":"2003","unstructured":"J. Warmer and A. Kleppe . The Object Constraint Language Second Edition: Getting Your Models Ready for MDA. Addison-Wesley , 2003 . J. Warmer and A. Kleppe. The Object Constraint Language Second Edition: Getting Your Models Ready for MDA. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083282"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 3rd international workshop on Automation of software test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370042.1370052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:00:06Z","timestamp":1673499606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":5,"alternative-id":["10.1145\/1370042.1370052","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370052","relation":{},"subject":[],"published":{"date-parts":[[2008,5,11]]},"assertion":[{"value":"2008-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}