1. Alur, R., Cerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for java classes. In: POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 98–109. ACM Press, New York, NY, USA (2005)
2. Angluin D.: Learning regular sets from queries and counterexamples. Inf. Comput. 2(75), 87–106 (1987)
3. Berg T., Grinchtein O., Jonsson B., Leucker M., Raffelt H., Steffen B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (eds) Proceedings of 8th International Conference on Fundamental Approaches to Software Engineering (FASE’05), LNCS, vol. 3442, pp. 175–189. Springer, New York (2005)
4. Broy M., Jonsson B., Katoen J.P., Leucker M., Pretschner A.: Model-based Testing of Reactive Systems, LNCS, vol. 3472. Springer, New York (2005)
5. Brun, Y., Ernst, M.D.: Finding latent code errors via machine learning over program executions. In: Proceedings of the 26th International Conference on Software Engineering (ICSE’04), pp. 480–490. Edinburgh, Scotland (2004)