Software Engineering and Analysis Lab (SEAL)

This lab is broadly engaged in research to automate the software engineering activities, thereby improving the developer productivity as well as the quality of software. The director of the lab is Prof. Sam Malek, a Professor in the Informatics Department within the School of Information and Computer Sciences at the University of California, Irvine.

The underlying theme and long-term goal of this research lab is the development of techniques and tools that aid with the construction, analysis, and maintenance of large-scale dependable software systems. The inherent complexity of large-scale software systems has always posed a significant challenge to software practitioners. On top of this, emerging non-conventional computing domains (e.g., autonomic, embedded, pervasive, and mobile systems) present developers with a formidable set of new challenges. The overarching hypothesis guiding this research lab is that it is possible to reduce the complexity of engineering dependable software by automating the cumbersome manual software engineering activities.

In that context, the members of the lab to date have investigated a wide range of issues, which can be roughly categorized into three research thrusts:


Recent Events




[seal's logo]
[uci's logo]