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