Databases Reference
In-Depth Information
[22] D. Lo, L. Mariani, and M. Pezze. Automatic steering of behavioral model
inference. In ESEC/SIGSOFT FSE, pages 345{354. ACM Press, 2009.
[23] D. Lorenzoli, L. Mariani, and M. Pezze. Automatic generation of software
behavioral models. In ICSE '08: Proceedings of the 30th International
Conference on Software Engineering, pages 501{510, New York, ACM
Press, 2008.
[24] E.F. Moore. Gedanken{experiments on sequential machines. In C.E.
Shannon and J. McCarthy, editors, Annals of Mathematics Studies (34),
Automata Studies, pages 129{153. Princeton University Press, Princeton,
NJ, 1956.
[25] A. Nerode. Linear automata transformations. Proceedings of the Ameri-
can Mathematical Society, 9:541{544, 1958.
[26] J. Oncina and P. Garcia. Inferring regular languages in polynomial update
time. In Pattern Recognition and Image Analysis, volume 1, pages 49{61.
1992.
[27] R. Parekh and V. Honavar. The Handbook of Natural Language Pro-
cessing, chapter Grammar Inference, Automata Induction and Language
Acquisition, pages 727{764. Marcel-Dekker, New York, 2000.
[28] A. Pnueli. The temporal logics of programs. In 18th IEEE Symposium
on the Foundations of Computer Science, 1977.
[29] G. Pullum. The Oxford International Encyclopedia of Linguistics, 2nd
edition, chapter Learnability: Mathematical Aspects, pages 431{434. Ox-
ford University Press, 2003.
[30] H. Raffelt and B. Steffen. Learnlib: a library for automata learning and
experimentation. In FASE, volume 3922 of Lecture Notes in Computer
Science, pages 377{380. Springer, 2006.
[31] S. Reiss and M. Renieris. Encoding program executions. In ICSE, pages
221{230. IEEE Computer Society, 2001.
[32] M. Shahbaz and R. Groz. Inferring mealy machines. In Proceedings of
Formal Methods (FM'09), volume 5850 of LNCS, pages 207{222, 2009.
[33] S. Uchitel, J. Kramer, and J. Magee. Behaviour model elaboration using
partial labelled transition systems. In 4th Joint Meeting of the European
Software Engineering Conference and ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE), pages 19{27, 2003.
[34] N. Walkinshaw and K. Bogdanov. Inferring finite-state models with tem-
poral constraints. In Proceedings of the 23rd International Conference on
Automated Software Engineering (ASE), 2008.
Search WWH ::
Custom Search