Software Dependability

Introduction

Center for Software Dependability (CSD) is a research group at Capital University of Science & Technology, Islamabad, Pakistan founded in June, 2003. The group has been working in diverse areas within the domain of Software Dependability, with focus on Software Reliability, Formal Methods, Model Driven Architecture, and Software Testing.

Research Area

  • Software testing and reliability
  • Formal methods and safety-critical systems
  • Software fault tolerance
  • Artificial intelligence