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