Software Engineering

Software Engineering

Software engineering research in the CS Department covers the theory, implementation, and managerial aspect of software development and runtime verification. It spans the entire spectrum from the theory of analysis and testing on software projects to their implementation. It produces impactful research results in software defect prediction, scalable program analysis and testing methods, test adequacy, fuzzing, test oracle, and evaluation and improvement of machine learning models.



  • Software Testing and Analysis
    • Dynamic analysis
    • Scalable strategies
    • Concurrency analysis
    • Test oracle
    • Fault localization
    • Vulnerability detection
  • Software Engineering with Artificial Intelligence
    • Software defect prediction
    • AI model validation and verification
    • Debugging
    • Security testing
    • Model improvement

Research Centres

  • Laboratory of Software Engineering and Methodology
  • Artificial Intelligence and Software Engineering Laboratory