{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:43Z","timestamp":1725627283174},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_15","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:21:42Z","timestamp":1320229302000},"page":"209-224","source":"Crossref","is-referenced-by-count":8,"title":["Assessing Test Adequacy for Black-Box Systems without Specifications"],"prefix":"10.1007","author":[{"given":"Neil","family":"Walkinshaw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_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, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"15_CR2","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)"},{"issue":"2","key":"15_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"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1145\/76359.76371","volume":"36","author":"A. Blumer","year":"1989","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.: Learnability and the vapnik-chervonenkis dimension. Journal of the ACM\u00a036, 929\u2013965 (1989)","journal-title":"Journal of the ACM"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1016\/j.infsof.2009.06.006","volume":"51","author":"L. Briand","year":"2009","unstructured":"Briand, L., Labiche, Y., Bawar, Z., Spido, N.: Using machine learning to refine category-partition test specifications and test suites. Information and Software Technology\u00a051, 1551\u20131564 (2009)","journal-title":"Information and Software Technology"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cherniavsky, J., Smith, C.: A recursion theoretic approach to program testing. IEEE Transactions on Software Engineering\u00a013 (1987)","DOI":"10.1109\/TSE.1987.233489"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Dupont, P., Miclet, L., Vidal, E.: What is the search space of the regular inference? (1994)","DOI":"10.1007\/3-540-58473-0_134"},{"key":"15_CR8","volume-title":"International Conference on Software Testing Workshops (ICSTW)","author":"K. Ghani","year":"2008","unstructured":"Ghani, K., Clark, J.: Strengthening inferred specifications using search based testing. In: International Conference on Software Testing Workshops (ICSTW). IEEE, Los Alamitos (2008)"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0004-3702(88)90002-1","volume":"36","author":"D. Haussler","year":"1988","unstructured":"Haussler, D.: Quantifying inductive bias: Ai learning algorithms and valiant\u2019s learning framework. Artificial Intelligence\u00a036, 177\u2013221 (1988)","journal-title":"Artificial Intelligence"},{"key":"15_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139194655","volume-title":"Grammatical Inference: Learning Automata and Grammars","author":"C. Higuera de la","year":"2010","unstructured":"de la Higuera, C.: Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, Cambridge (2010)"},{"key":"15_CR11","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":"15_CR12","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1007\/0-387-25465-X_59","volume-title":"The Data Mining and Knowledge Discovery Handbook","author":"M. Last","year":"2005","unstructured":"Last, M.: Data mining for software testing. In: The Data Mining and Knowledge Discovery Handbook, pp. 1239\u20131248. Springer, Heidelberg (2005)"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE\u00a084, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR14","volume-title":"Machine Learning","author":"T. Mitchell","year":"1997","unstructured":"Mitchell, T.: Machine Learning. McGraw-Hill, New York (1997)"},{"issue":"2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"T. Mitchell","year":"1982","unstructured":"Mitchell, T.: Generalization as search. Artificial Intelligence\u00a018(2), 203\u2013226 (1982)","journal-title":"Artificial Intelligence"},{"key":"15_CR16","first-page":"521","volume-title":"International Conference on Software Engineering (ICSE)","author":"N. Nagappan","year":"2008","unstructured":"Nagappan, N., Murphy, B., Basili, V.: The influence of organizational structure on software quality: an empirical case study. In: International Conference on Software Engineering (ICSE), pp. 521\u2013530. ACM, New York (2008)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1041685.1029901","volume":"29","author":"J. Perkins","year":"2004","unstructured":"Perkins, J., Ernst, M.: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT Software Engineering Notes\u00a029, 23\u201332 (2004)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"15_CR18","unstructured":"Poll, E., Schubert, A.: Verifying an implementation of ssh. In: Workshop on Issues of Theory of Security (WITS), pp. 164\u2013177 (2007)"},{"key":"15_CR19","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)"},{"issue":"1-2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"175","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. Theoretical Computer Science\u00a0188(1-2), 175\u2013194 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"15_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1006\/inco.1996.0065","volume":"128","author":"K. Romanik","year":"1996","unstructured":"Romanik, K., Vitter, J.: 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":"15_CR22","doi-asserted-by":"crossref","unstructured":"Shahamiri, S., Kadira, W., Ibrahima, S., Hashim, S.: An automated framework for software test oracle. Information and Software Technology\u00a053 (2011)","DOI":"10.1016\/j.infsof.2011.02.006"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","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. LNCS, vol.\u00a05850, pp. 207\u2013222. Springer, Heidelberg (2009)"},{"issue":"11","key":"15_CR24","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. Valiant","year":"1984","unstructured":"Valiant, L.: A theory of the learnable. Communications of the ACM\u00a027(11), 1134\u20131142 (1984)","journal-title":"Communications of the ACM"},{"issue":"2","key":"15_CR25","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1137\/1116025","volume":"16","author":"V. Vapnik","year":"1971","unstructured":"Vapnik, V., Chervonenkis, A.: On the uniform convergence of relative frequencies of events to their probabilities. Theory of Probability and its Applications\u00a016(2), 264\u2013280 (1971)","journal-title":"Theory of Probability and its Applications"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-15585-7_16","volume-title":"Testing \u2013 Practice and Research Techniques","author":"N. Walkinshaw","year":"2010","unstructured":"Walkinshaw, N.: The practical assessment of test sets with inductive inference techniques. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol.\u00a06303, pp. 165\u2013172. Springer, Heidelberg (2010)"},{"key":"15_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1868044.1868045","volume-title":"Proceedings of the First International Workshop on Model Inference In Testing (MIIT)","author":"N. Walkinshaw","year":"2010","unstructured":"Walkinshaw, N., Bogdanov, K., Damas, C., Lambeau, B., Dupont, P.: A framework for the competitive evaluation of model inference techniques. In: Proceedings of the First International Workshop on Model Inference In Testing (MIIT), pp. 1\u20139. ACM, New York (2010)"},{"key":"15_CR28","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)"},{"key":"15_CR29","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)"},{"issue":"4","key":"15_CR30","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":"1","key":"15_CR31","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"},{"issue":"2","key":"15_CR32","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"}],"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-24580-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:16:53Z","timestamp":1606187813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}