{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:06:37Z","timestamp":1725483997794},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_44","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:59:43Z","timestamp":1179586783000},"page":"521-525","source":"Crossref","is-referenced-by-count":6,"title":["AMC: An Adaptive Model Checker"],"prefix":"10.1007","author":[{"given":"Alex","family":"Groce","sequence":"first","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Mihalis","family":"Yannakakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"44_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1978","unstructured":"D. Angluin, Learning Regular Sets from Queries and Counterexamples, Information and Computation, 75, 87\u2013106 (1978).","journal-title":"Information and Computation"},{"issue":"3","key":"44_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T. S. Chow","year":"1978","unstructured":"T. S. Chow, Testing software design modeled by finite-state machines, IEEE transactions on software engineering, SE-4,3, 1978, 178\u2013187.","journal-title":"IEEE transactions on software engineering"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, B. Steffen, The Concurrency Workbench: a semantic-based tool for the verification of concurrent systems, TOPLAS 15(1993), 36\u201372.","journal-title":"TOPLAS"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"P. Godefroid, Model checking for programming languages using VeriSoft, Proc. 24th ACM Symp. on Progr. Lang. and Sys., 174\u2013186, 1996.","DOI":"10.1145\/263699.263717"},{"key":"44_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-46002-0_25","volume-title":"TACAS 2002","author":"A. Groce","year":"2002","unstructured":"A. Groce, D. Peled, M. Yannakakis, Adaptive Model Checking, TACAS 2002, LNCS 2280, Springer, 357\u2013370."},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"D. Peled, M. Y. Vardi, M. Yannakakis, Black Box Checking, FORTE\/PSTV 1999, Beijing, China, 225\u2013240.","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"44_CR7","unstructured":"M. P. Vasilevskii, Failure diagnosis of automata, Kibertetika, no 4, 1973, 98\u2013108."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T05:21:17Z","timestamp":1556428877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}