Natural History Museum

International Workshop on Machine Learning Technologies in Software Engineering

Lawrence, Kansas, U.S.A. November 12, 2011.
In association with the 26th International Conference on Automated Software Engineering

Invited Speaker

Dimitra Giannakopoulou, NASA Ames Research Center, USA
Dimitra Giannakopoulou
Automata Generation: *Not* your Usual Machine Learning
In this talk, we discuss the automatic generation of behavioral component interfaces through automata learning algorithms. Such interfaces can be used as abstract models for component documentation, for verification purposes, and for compositional reasoning techniques.

Machine learning typically infers information from large amounts of empirical data. For automata generation, a very successful learning algorithm is L*, which has a different flavor than the usual machine learning approaches. L* relies on a perfect oracle, or teacher, that provides correct answers to questions that L* poses. L* has some attractive properties in the context of verification and, surprisingly, in some cases, a perfect oracle can be achieved.

We will discuss several frameworks, based on L*, that have been used successfully in model generation and automated compositional verification of large systems.

Short biography:
Dr. Dimitra Giannakopoulou is a senior research scientist with the Robust Software Engineering Group at the NASA Ames Research Center. Her research focuses on scalable specification and verification techniques for NASA systems. She is interested in incremental and compositional model checking based on software components and architectures. Recently, she has also been investigating test-case generation techniques for aerospace systems as well as the application of formal methods to human automation interaction systems. She is co-recipient of an ACM distinguished paper award and of the FLC 2009 "Outstanding Technology Development Award" for the Java PathFinder model checking framework. She is associate editor for IEEE Transactions on Software Engineering, co-editor of two special journal issues on Compositional Verification, and has given tutorials and invited lectures / keynote talks at international conferences and summer schools. Dr Giannakopoulou co-chaired the program committees of the following conferences: NFM 2009 (NASA Formal Methods Symposium), ETAPS/FASE 2011 (European Joint Conferences on Theory and Practice of Software / Fundamental Approaches to Software Engineering) and is co-chairing FM 2012 (18th International Symposium on Formal Methods). She received her Ph.D. and MSc with Distinction from Imperial College, University of London, and her Engineering degree from the Computer Engineering and Informatics Dept. of the University of Patras, Greece.