{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:47:58Z","timestamp":1771573678916,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642165726","type":"print"},{"value":"9783642165733","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16573-3_10","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T07:10:27Z","timestamp":1287990627000},"page":"126-141","source":"Crossref","is-referenced-by-count":29,"title":["Increasing Functional Coverage by Inductive Testing: A Case Study"],"prefix":"10.1007","author":[{"given":"Neil","family":"Walkinshaw","sequence":"first","affiliation":[]},{"given":"Kirill","family":"Bogdanov","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Paris","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"10_CR2","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 Transactions on Programming Languages and Systems\u00a05(4), 641\u2013655 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"10_CR3","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 Transactions on Software Engineering and Methodology\u00a05(2), 119\u2013145 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1002\/stvr.4370020204","volume":"2","author":"H. Zhu","year":"1992","unstructured":"Zhu, H., Hall, P., May, J.: Inductive inference and software testing. Software Testing, Verification, and Reliability\u00a02(2), 69\u201381 (1992)","journal-title":"Software Testing, Verification, and Reliability"},{"issue":"1","key":"10_CR5","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. Software Testing, Verification and Reliability\u00a06(1), 3\u201331 (1996)","journal-title":"Software Testing, Verification and Reliability"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Harder, M., Mellen, J., Ernst, M.: Improving test suites via operational abstraction. In: Proceedings of the International Conference on Software Engineering ICSE 2003, pp. 60\u201371 (2003)","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-24617-6_5","volume-title":"Formal Approaches to Software Testing","author":"T. Xie","year":"2004","unstructured":"Xie, T., Notkin, D.: Mutually enhancing test generation and specification inference. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 60\u201369. Springer, Heidelberg (2004)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11693017_28","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Raffelt","year":"2006","unstructured":"Raffelt, H., Steffen, B.: Learnlib: A library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 377\u2013380. Springer, Heidelberg (2006)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_15","volume-title":"CONCUR 2008 - Concurrency Theory","author":"B. Bollig","year":"2008","unstructured":"Bollig, B., Katoen, J., Kern, C., Leucker, M.: Smyle: A tool for synthesizing distributed models from scenarios by learning. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, Springer, Heidelberg (2008)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","volume-title":"FM 2009: Formal Methods","author":"M. Shahbaz","year":"2009","unstructured":"Shahbaz, M., Groz, R.: Inferring mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009, vol.\u00a05850, pp. 207\u2013222. Springer, Heidelberg (2009)"},{"issue":"4","key":"10_CR12","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10009-009-0120-7","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. STTT\u00a011(4), 307\u2013324 (2009)","journal-title":"STTT"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-05089-3_20","volume-title":"FM 2009: Formal Methods","author":"N. Walkinshaw","year":"2009","unstructured":"Walkinshaw, N., Derrick, J., Guo, Q.: Iterative refinement of reverse-engineered models by model-based testing. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 305\u2013320. Springer, Heidelberg (2009)"},{"key":"10_CR14","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, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"10_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0054059","volume-title":"Grammatical Inference","author":"K. Lang","year":"1998","unstructured":"Lang, K., Pearlmutter, B., Price, R.: Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm. In: Honavar, V.G., Slutzki, G. (eds.) ICGI 1998. LNCS (LNAI), vol.\u00a01433, pp. 1\u201312. Springer, Heidelberg (1998)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/08839510701853200","volume":"22","author":"P. Dupont","year":"2008","unstructured":"Dupont, P., Lambeau, B., Damas, C., van Lamsweerde, A.: The QSM Algorithm and its Application to Software Behavior Model Induction. Applied Artificial Intelligence\u00a022, 77\u2013115 (2008)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/ICSE.2007.37","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE 2007)","author":"C. Pacheco","year":"2007","unstructured":"Pacheco, C., Lahiri, S., Ernst, M., Ball, T.: Feedback-directed random test generation. In: Proceedings of the International Conference on Software Engineering (ICSE 2007), pp. 75\u201384. IEEE Computer Society, Los Alamitos (2007)"},{"key":"10_CR18","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"2001","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Reading (2001)","edition":"2"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission control protocol. Technical Report 793, DDN Network Information Center, SRI International, RFC (September 1981)","DOI":"10.17487\/rfc0793"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/1596600.1596612","volume-title":"Erlang 2009: Proceedings of the 8th ACM SIGPLAN workshop on Erlang","author":"J. Paris","year":"2009","unstructured":"Paris, J., Arts, T.: Automatic testing of tcp\/ip implementations using quickcheck. In: Erlang 2009: Proceedings of the 8th ACM SIGPLAN workshop on Erlang, pp. 83\u201392. ACM, New York (2009)"},{"key":"10_CR21","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (July 2007)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: A Lightweight Tool for Random Testing of Haskell Programs. In: Proceedings of the International Conference on Functional Programming (ICFP), pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Bogdanov, K., Holcombe, M., Salahuddin, S.: Reverse Engineering State Machines by Interactive Grammar Inference. In: 14th IEEE International Working Conference on Reverse Engineering, WCRE (2007)","DOI":"10.1109\/WCRE.2007.45"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: Longer is better: On the role of test sequence length in software testing. In: Proceedings of the International Conference on Software Testing, Verification and Validation, ICST 2010 (2010)","DOI":"10.1109\/ICST.2010.16"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16573-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:32Z","timestamp":1606186112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16573-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165726","9783642165733"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16573-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}