{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:45:39Z","timestamp":1762955139965},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347801"},{"type":"electronic","value":"9783642347818"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34781-8_16","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T11:20:37Z","timestamp":1349954437000},"page":"200-219","source":"Crossref","is-referenced-by-count":21,"title":["Learning-Based Software Testing: A Tutorial"],"prefix":"10.1007","author":[{"given":"Karl","family":"Meinke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Sindhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/S0019-9958(81)90090-5","volume":"51","author":"D. Angluin","year":"1981","unstructured":"Angluin, D.: A note on the number of queries needed to identify regular languages. Information and Control\u00a051(1), 76\u201387 (1981)","journal-title":"Information and Control"},{"issue":"1","key":"16_CR2","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"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning, pp. 447\u2013531. Elsevier (2001)","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"issue":"2","key":"16_CR4","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":"16_CR5","unstructured":"Bohlin, T., Jonsson, B.: Regular inference for communication protocol entities. Technical Report 2008-024, Dept. of Information Technology, Uppsala University (2008)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00625279","volume":"18","author":"T.A. Budd","year":"1982","unstructured":"Budd, T.A., Angluin, D.: Two notions of correctness and their relation to testing. Acta Informatica\u00a018, 31\u201345 (1982)","journal-title":"Acta Informatica"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Caviness, B.F., Johnson, J.R.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer (1998)","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-36126-X_3","volume-title":"Formal Methods in Computer-Aided Design","author":"P. Chauhan","year":"2002","unstructured":"Chauhan, P., Clarke, E.M., Kukula, J.H., Sapra, S., Veith, H., Wang, D.: Automated Abstraction Refinement for Model Checking Large State Spaces Using Sat Based Conflict Analysis. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 33\u201351. Springer, Heidelberg (2002)"},{"issue":"7","key":"16_CR9","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/TSE.1987.233489","volume":"SE-13","author":"J.C. Cherniavsky","year":"1987","unstructured":"Cherniavsky, J.C., Smith, C.H.: A recursion theoretic approach to program testing. IEEE Transactions on Software Engineering\u00a0SE-13(7), 777\u2013784 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NUSMV: A New Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-45657-0_20","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2002","unstructured":"Clarke, E., Gupta, A., Kukula, J.H., Strichman, O.: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 265\u2013279. Springer, Heidelberg (2002)"},{"key":"16_CR12","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"16_CR13","unstructured":"Comon, H.: Disunification: a survey. In: Computational Logic: Essays in Honor of Alan Robinson, pp. 322\u2013359. MIT Press (1991)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"de la Higuera, C.: Grammatical Inference. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139194655"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/BFb0033357","volume-title":"Grammatical Inference: Learning Syntax from Sentences","author":"P. Dupont","year":"1996","unstructured":"Dupont, P.: Incremental Regular Inference. In: Miclet, L., de la Higuera, C. (eds.) ICGI 1996. LNCS, vol.\u00a01147, pp. 222\u2013237. Springer, Heidelberg (1996)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"key":"16_CR17","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: A survey. Tech. rep. 2007-p2-04, TU Graz (2007)"},{"issue":"5","key":"16_CR18","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Information and Control\u00a010(5), 447\u2013474 (1967)","journal-title":"Information and Control"},{"issue":"5","key":"16_CR19","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/jigpal\/jzl007","volume":"14","author":"A. Groce","year":"2006","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. Logic Journal of the IGPL\u00a014(5), 729\u2013744 (2006)","journal-title":"Logic Journal of the IGPL"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Hullot, J.M.: Canonical Forms and Unification. In: Proc. Fifth Int. Conf. on Automated Deduction. LNCS, vol.\u00a087, pp. 318\u2013334. Springer, Heidelberg (1980)","DOI":"10.1007\/3-540-10009-1_25"},{"issue":"2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1006\/inco.1996.0065","volume":"128","author":"J.S. Vitter","year":"1996","unstructured":"Vitter, J.S., Romanik, K.: Using vapnik-chervonenkis dimension to analyze the testing complexity of program, segments. Information and Computation\u00a0128(2), 87\u2013108 (1996)","journal-title":"Information and Computation"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Program slicing. In: Handbook of Software Engineering and Knowledge Engineering. Recent Advances, vol.\u00a03. World Scientific Publishing (2005)","DOI":"10.1142\/9789812775245_0011"},{"key":"16_CR24","volume-title":"Specification of Abstract Data Types","author":"J. Loeckx","year":"1996","unstructured":"Loeckx, J., Ehrich, H.D., Wolf, M.: Specification of Abstract Data Types. John Wiley & Sons, Inc., New York (1996)"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1007512.1007532","volume-title":"ISSTA 2004: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"K. Meinke","year":"2004","unstructured":"Meinke, K.: Automated black-box testing of functional correctness using function approximation. In: ISSTA 2004: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 143\u2013153. ACM, New York (2004)"},{"key":"16_CR26","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-15488-1_13","volume-title":"Grammatical Inference: Theoretical Results and Applications","author":"K. Meinke","year":"2010","unstructured":"Meinke, K.: CGE: A Sequential Learning Algorithm for Mealy Automata. In: Sempere, J.M., Garc\u00eda, P. (eds.) ICGI 2010. LNCS (LNAI), vol.\u00a06339, pp. 148\u2013162. Springer, Heidelberg (2010)"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-16573-3_16","volume-title":"Testing Software and Systems","author":"K. Meinke","year":"2010","unstructured":"Meinke, K., Niu, F.: A Learning-Based Approach to Unit Testing of Numerical Software. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-24580-0_8","volume-title":"Testing Software and Systems","author":"K. Meinke","year":"2011","unstructured":"Meinke, K., Niu, F.: Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 97\u2013114. Springer, Heidelberg (2011)"},{"key":"16_CR29","unstructured":"Meinke, K., Sindhu, M.: Correctness and performance of an incremental learning algorithm for finite automata. Technical report, School of Computer Science and Communication, Royal Institute of Technology, Stockholm (2010)"},{"key":"16_CR30","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.: 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":"16_CR31","unstructured":"Niu, F.: Learning-based software testing using symbolic constraint solving methods. Licentiate thesis, School of Computer Science and Communication, Royal Institute of Technology (2011)"},{"key":"16_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BFb0054062","volume-title":"Grammatical Inference","author":"R. Parekh","year":"1998","unstructured":"Parekh, R., Nichitiu, C., Honavar, V.G.: A Polynomial Time Incremental Algorithm for Learning DFA. In: Honavar, V.G., Slutzki, G. (eds.) ICGI 1998. LNCS (LNAI), vol.\u00a01433, pp. 37\u201349. Springer, Heidelberg (1998)"},{"key":"16_CR33","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"},{"issue":"10","key":"16_CR34","first-page":"11","volume":"10","author":"M.S. Phadke","year":"1997","unstructured":"Phadke, M.S.: Planning efficient software tests. Crosstalk\u00a010(10), 11\u201315 (1997)","journal-title":"Crosstalk"},{"key":"16_CR35","volume-title":"An Introduction to Analysis and Integration Theory","author":"E.R. Phillips","year":"1984","unstructured":"Phillips, E.R.: An Introduction to Analysis and Integration Theory. Dover, New York (1984)"},{"key":"16_CR36","volume-title":"Automating Specification-Based Software Testing","author":"R.M. Poston","year":"1997","unstructured":"Poston, R.M.: Automating Specification-Based Software Testing. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"16_CR37","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":"16_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8095-4","volume-title":"Multivariate Polynomial Approximation","author":"M. Reimer","year":"2003","unstructured":"Reimer, M.: Multivariate Polynomial Approximation. Birkhauser, Basel (2003)"},{"key":"16_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0304-3975(96)00241-1","volume":"188","author":"K. Romanik","year":"1997","unstructured":"Romanik, K.: Approximate testing and its relationship to learning. Theoret. Comp. Sci.\u00a0188, 79\u201399 (1997)","journal-title":"Theoret. Comp. Sci."},{"key":"16_CR40","unstructured":"Sindhu, M.: Incremental Learning and Testing of Reactive Systems. Licentiate thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden (2011)"},{"key":"16_CR41","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":"16_CR42","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":"16_CR43","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":"16_CR44","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":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34781-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T01:19:05Z","timestamp":1557278345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34781-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347801","9783642347818"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34781-8_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}