Research Group Reference PagesKanat Bolazar Murat Gungor Arun Iyer Sergey Karamov |
Research AreaSupport for automated testing Analysis of large software systems Metrics-based Refactoring Partition-based Refactoring |
Links of interest to Research GroupType-based Analysis of C Programs Specification Matching of Software Components Signature Matching, A Key to Reuse Specifications and Their Use in Defining Subtypes What Makes Good Research in Software Engineering The C2 Style |