{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:20Z","timestamp":1725702560936},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_32","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"440-443","source":"Crossref","is-referenced-by-count":13,"title":["Model-Based Testing and Model Inference"],"prefix":"10.1007","author":[{"given":"Karl","family":"Meinke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Walkinshaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075(1), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"issue":"2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/227607.227611","volume":"5","author":"F. Bergadano","year":"1996","unstructured":"Bergadano, F., Gunetti, D.: Testing by means of inductive program learning. ACM Trans. Software Engineering and Methodology\u00a05(2), 119\u2013145 (1996)","journal-title":"ACM Trans. Software Engineering and Methodology"},{"key":"32_CR3","series-title":"LNCS","first-page":"444","volume-title":"ISoLA 2012, Part I","author":"R. Groz","year":"2012","unstructured":"Groz, R., Irfan, M.-N., Oriat, C.: Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 444\u2013457. Springer, Heidelberg (2012)"},{"key":"32_CR4","unstructured":"Howar, F.M.: Active Learning of Interface Programs. PhD thesis, Faculty of Informatics, Technical University of Dortmund (2012)"},{"key":"32_CR5","series-title":"LNCS","first-page":"458","volume-title":"ISoLA 2012, Part I","author":"T. Kitamura","year":"2012","unstructured":"Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S.: Test-Case Design by Feature Trees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 458\u2013473. Springer, Heidelberg (2012)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/11780274_30","volume-title":"Algebra, Meaning, and Computation","author":"K. Meinke","year":"2006","unstructured":"Meinke, K.: A Stochastic Theory of Black-Box Software Testing. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 578\u2013595. Springer, Heidelberg (2006)"},{"key":"32_CR7","series-title":"LNCS","first-page":"488","volume-title":"ISoLA 2012, Part I","author":"K. Meinke","year":"2012","unstructured":"Meinke, K., Niu, F.: An Incremental Learning Algorithm for Extended Mealy Automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 488\u2013504. Springer, Heidelberg (2012)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Meinke, K., Niu, F., Sindhu, M.: Learning-based software testing: a tutorial. In: Proc. Fourth Int. ISoLA Workshop on Machine Learning for Software Construction. CCIS. Springer (2011)","DOI":"10.1007\/978-3-642-34781-8_16"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-21768-5_11","volume-title":"Tests and Proofs","author":"K. Meinke","year":"2011","unstructured":"Meinke, K., Sindhu, M.A.: Incremental Learning-Based Testing for Reactive Systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol.\u00a06706, pp. 134\u2013151. Springer, Heidelberg (2011)"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Gedanken experiments on sequential machines. In: Automata Studies, Princeton, pp. 129\u2013153 (1956)","DOI":"10.1515\/9781400882618-006"},{"key":"32_CR11","series-title":"LNCS","first-page":"474","volume-title":"ISoLA 2012, Part I","author":"Z. Lu","year":"2012","unstructured":"Lu, Z., Mukhopadhyay, S.: Model-Based Static Code Analysis For MATLAB Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 474\u2013487. Springer, Heidelberg (2012)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black-box checking. In: Formal Methods for Protocol Engineering and Distributed Systems FORTE\/PSTV, pp. 225\u2013240. Kluwer (1999)","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-77966-7_13","volume-title":"Hardware and Software: Verification and Testing","author":"H. Raffelt","year":"2008","unstructured":"Raffelt, H., Steffen, B., Margaria, T.: Dynamic Testing Via Automata Learning. In: Yorav, K. (ed.) HVC 2007. LNCS, vol.\u00a04899, pp. 136\u2013152. Springer, Heidelberg (2008)"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-24580-0_15","volume-title":"Testing Software and Systems","author":"N. Walkinshaw","year":"2011","unstructured":"Walkinshaw, N.: Assessing Test Adequacy for Black-Box Systems without Specifications. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 209\u2013224. Springer, Heidelberg (2011)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-16573-3_10","volume-title":"Testing Software and Systems","author":"N. Walkinshaw","year":"2010","unstructured":"Walkinshaw, N., Bogdanov, K., Derrick, J., Paris, J.: Increasing Functional Coverage by Inductive Testing: A Case Study. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 126\u2013141. Springer, Heidelberg (2010)"},{"issue":"4","key":"32_CR16","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1145\/69575.357231","volume":"5","author":"E. Weyuker","year":"1983","unstructured":"Weyuker, E.: Assessing test data adequacy through program inference. ACM Trans. Program. Lang. Syst.\u00a05(4), 641\u2013655 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"32_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(199603)6:1<3::AID-STVR108>3.0.CO;2-D","volume":"6","author":"H. Zhu","year":"1996","unstructured":"Zhu, H.: A formal interpretation of software testing as inductive inference. Journal of Software testing, Verification and Reliability\u00a06(1), 3\u201331 (1996)","journal-title":"Journal of Software testing, Verification and Reliability"},{"issue":"2","key":"32_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.4370020204","volume":"2","author":"H. Zhu","year":"1992","unstructured":"Zhu, H., Hall, P., May, J.: Inductive inference and software testing. Journal of Software testing, Verification and Reliability\u00a02(2), 3\u201331 (1992)","journal-title":"Journal of Software testing, Verification and Reliability"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:13:15Z","timestamp":1606187595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}