Skip to content

Research

Research Areas

We are engaged in several research areas that contribute to the fields of dependable computing and software engineering. Examples of our research areas include, but are not limited to, the following:

Software Testing and Verification

  • Development of methodologies and tools for testing software systems.
  • Applying model checking techniques to verify the correctness of software.
  • LLM-based test case generation to improve test coverage and efficiency.

Reliability Estimation

  • Scaling probabilistic fault tree analysis using novel algorithms.
  • Parallelizing reliability estimation to handle large and complex systems efficiently.

Others

  • Testing of quantum programs.
  • Quality assurance for smart contracts.