{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:37:00Z","timestamp":1729651020838,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/icstw.2010.43","type":"proceedings-article","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T16:54:10Z","timestamp":1274892850000},"page":"355-360","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Testing Using Symbolic Animation and Machine Learning"],"prefix":"10.1109","author":[{"given":"Pierre-Christophe","family":"Bu\u00e9","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[]},{"given":"Pierre-Cyrille","family":"H\u00e9am","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-540-70590-1_4"},{"key":"ref11","first-page":"207","article-title":"Inferring mealy machines","author":"shahbaz","year":"2009","journal-title":"FM '09 Proceedings of the 2nd World Congress on Formal Methods"},{"key":"ref12","first-page":"348","article-title":"Météor: A Successful Application of B in a Large Project","author":"behm","year":"1999","journal-title":"FM'99 - Formal Methods -volume 1 ser LNCS"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1023\/A:1026538301096"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/s10009-003-0123-8"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref16","article-title":"Failure diagnosis of automata","author":"vasilevski","year":"1973","journal-title":"Cybernetics"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/73007.73047"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","author":"kearns","year":"1994","journal-title":"An Introduction to Computational Learning Theory"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1002\/spe.540"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1017\/CBO9780511624162"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/S0169-7552(96)00017-7"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1016\/j.entcs.2004.12.009"},{"key":"ref5","first-page":"277","article-title":"LEIRIOS Test Generator: Automated Test Generation from B Models","volume":"4355","author":"jaffuel","year":"2007","journal-title":"B '2007 the 7th Int B Conference ser LNCS"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/APSEC.2005.57"},{"key":"ref7","first-page":"591","article-title":"Automatic test generation with agatha","volume":"2619","author":"bigot","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003 ser Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/TSE.1978.231496"},{"year":"1995","author":"beizer","journal-title":"Black-Box Testing Techniques for Functional Testing of Software and Systems","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","volume":"1855","author":"clarke","year":"2000","journal-title":"CAV Ser Lecture Notes in Computer Science"}],"event":{"name":"2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW)","start":{"date-parts":[[2010,4,6]]},"location":"Paris, France","end":{"date-parts":[[2010,4,10]]}},"container-title":["2010 Third International Conference on Software Testing, Verification, and Validation Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5463512\/5463636\/05463671.pdf?arnumber=5463671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:22:23Z","timestamp":1559139743000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5463671\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icstw.2010.43","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}