Center for Software Dependability (CSD) focuses on diverse topics within the domain of software dependability.
Current research focuses on:
- Software Dependability (Typically Reliability and Safety Aspects)
- Software Testing
- Formal Methods
- Software Fault Tolerance
- Software Quality Assurance
- Model Driven Architecture and Model Based Testing
- Testing of Mobile Applications
- Software Product Line Engineering
- Software Fault Pridiction
- Testing of Image Processing Applications
Our research is aimed towards:
- Developing novel techniques and tools for enhanced software testing
- Providing a formal foundation towards software testing