{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:42:32Z","timestamp":1725518552308},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880080"},{"type":"electronic","value":"9783540880097"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88009-7_20","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T03:52:54Z","timestamp":1221882774000},"page":"252-265","source":"Crossref","is-referenced-by-count":9,"title":["Evaluation and Comparison of Inferred Regular Grammars"],"prefix":"10.1007","author":[{"given":"Neil","family":"Walkinshaw","sequence":"first","affiliation":[]},{"given":"Kirill","family":"Bogdanov","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D. Angluin","year":"1983","unstructured":"Angluin, D., Smith, C.H.: Inductive inference: Theory and methods. Computing Surveys\u00a015(3), 237\u2013269 (1983)","journal-title":"Computing Surveys"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"20_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-005-0085-6","volume":"18","author":"K. Bogdanov","year":"2006","unstructured":"Bogdanov, K., Holcombe, M., Ipate, F., Seed, L., Vanak, S.: Testing methods for X-Machines: A review. Formal Aspects of Computer Science\u00a018, 3\u201330 (2006)","journal-title":"Formal Aspects of Computer Science"},{"key":"20_CR4","first-page":"1651","volume":"6","author":"J. Bongard","year":"2005","unstructured":"Bongard, J., Lipson, H.: Active coevolutionary learning of deterministic finite automata. Journal of Machine Learning Research\u00a06, 1651\u20131678 (2005)","journal-title":"Journal of Machine Learning Research"},{"issue":"7","key":"20_CR5","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/S0031-3203(96)00142-2","volume":"30","author":"A. Bradley","year":"1997","unstructured":"Bradley, A.: The use of the area under the ROC curve in the evaluation of machine learning algorithms. Pattern Recognition\u00a030(7), 1145\u20131159 (1997)","journal-title":"Pattern Recognition"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing Software Design Modelled by Finite State Machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR7","series-title":"ACM International Conference Proceeding Series","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1143844.1143874","volume-title":"ICML","author":"J. Davis","year":"2006","unstructured":"Davis, J., Goadrich, M.: The relationship between precision-recall and ROC curves. In: ICML. ACM International Conference Proceeding Series, vol.\u00a0148, pp. 233\u2013240. ACM, New York (2006)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-58473-0_152","volume-title":"Grammatical Inference and Applications","author":"P. Dupont","year":"1994","unstructured":"Dupont, P.: Regular grammatical inference from positive and negative samples by genetic search: the GIG method. In: Carrasco, R.C., Oncina, J. (eds.) ICGI 1994. LNCS, vol.\u00a0862, pp. 236\u2013245. Springer, Heidelberg (1994)"},{"key":"20_CR9","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":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-58473-0_134","volume-title":"Grammatical Inference and Applications","author":"P. Dupont","year":"1994","unstructured":"Dupont, P., Miclet, L., Vidal, E.: What is the search space of the regular inference? In: Carrasco, R.C., Oncina, J. (eds.) ICGI 1994. LNCS, vol.\u00a0862, pp. 25\u201337. Springer, Heidelberg (1994)"},{"issue":"1","key":"20_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1162\/evco.1995.3.1.1","volume":"3","author":"C. Fonseca","year":"1995","unstructured":"Fonseca, C., Fleming, P.: An overview of evolutionary algorithms in multiobjective optimization. Evolutionary Computation\u00a03(1), 1\u201316 (1995)","journal-title":"Evolutionary Computation"},{"volume-title":"Introduction to the Theory of Finite State Machines","year":"1962","author":"A. Gill","key":"20_CR12","unstructured":"Gill, A.: Introduction to the Theory of Finite State Machines. McGraw-Hill, New York (1962)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Gold","year":"1967","unstructured":"Gold, E.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"issue":"5","key":"20_CR14","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":"20_CR15","doi-asserted-by":"crossref","unstructured":"Lang, K.: Random DFA\u2019s can be approximately learned from sparse uniform examples. In: COLT, pp. 45\u201352 (1992)","DOI":"10.1145\/130385.130390"},{"key":"20_CR16","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":"20_CR17","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":"20_CR18","first-page":"51","volume-title":"WCRE","author":"D. Lo","year":"2006","unstructured":"Lo, D., Khoo, S.: QUARK: Empirical assessment of automaton-based specification miners. In: WCRE, pp. 51\u201360. IEEE Computer Society, Los Alamitos (2006)"},{"key":"20_CR19","series-title":"Series in Machine Perception and Artificial Intelligence","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/9789812797902_0004","volume-title":"Pattern Recognition and Image Analysis","author":"J. Oncina","year":"1992","unstructured":"Oncina, J., Garcia, P.: Inferring regular languages in polynomial update time. In: P\u00e9rez de la Blanca, N., Sanfeliu, A., Vidal, E. (eds.) Pattern Recognition and Image Analysis. Series in Machine Perception and Artificial Intelligence, vol.\u00a01, pp. 49\u201361. World Scientific, Singapore (1992)"},{"volume-title":"Grammar Inference, Automata Induction, and Language Acquisition, ch. 29","year":"2000","author":"R. Parekh","key":"20_CR20","unstructured":"Parekh, R., Honavar, V.: Grammar Inference, Automata Induction, and Language Acquisition, ch. 29. Marcel Dekker, USA (2000)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Tomita, M.: Dynamic construction of finite-state automata from examples using hill-climbing. In: Proceedings of the Fourth Annual Cognitive Science Conference, Ann Arbor, Mi, pp. 105\u2013108 (1982)","DOI":"10.21236\/ADA120123"},{"volume-title":"Finite Automata, Behavior and Synthesis","year":"1973","author":"B. Trakhtenbrot","key":"20_CR22","unstructured":"Trakhtenbrot, B., Barzdin, Y.: Finite Automata, Behavior and Synthesis. North Holland, Amsterdam (1973)"},{"key":"20_CR23","unstructured":"Tu, K., Honavar, V.: Unsupervised learning of probabilistic context-free grammar using iterative biclustering. Technical Report 00000572, Dept. Computer Science, Iowa State University (May 2008)"},{"key":"20_CR24","unstructured":"van Rijsbergen, C.J.: Information Retrieval. Butterworth-Heineman, Newton (1979)"}],"container-title":["Lecture Notes in Computer Science","Grammatical Inference: Algorithms and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88009-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,10]],"date-time":"2024-05-10T03:49:01Z","timestamp":1715312941000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88009-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540880080","9783540880097"],"references-count":24,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-88009-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}
