Software Engineering
Software Engineering
Main navigation
-
Research Areas
- Overview
- Bioinformatics and Computational Biology
- Computer Vision
- Computer Graphics
- Cloud Computing
- Data Science
- Distributed Systems and Networking
- Embedded Systems
- Evolutionary Computation and Metaheuristic
- Human-Computer Interaction (HCI)
- Image and Video Processing
- Information Security
- Machine Learning
- Mobile Networking
- Mobile and Real-Time Computing
- Multimedia Computing
- Software Engineering
- Theoretical Computer Science
- Research Centres & Labs
- Publications
- Colloquiums
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.
Topics
- 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
Courses
- CS3342 Software Design
- CS3343 Software Engineering Practice
- CS3346 Software Testing and Maintenance
- CS3347 Software Engineering Principles and Practice
- CS3356 Managing Software Projects
- CS3367 Essentials of Software Engineering
- CS4348 Software Quality Management
- CS4381 Advanced Software Design
- CS4385 Topics in Software Engineering
- CS4389 Decentralized Applications Development
- CS5348 Software Quality Engineering
- CS5351 Software Engineering