Current Projects
Digital Trust Test Bench
Digital Trust Test Bench (DTT) is a quality assurance tool for digital credential solutions, allowing governments and organizations to put digital credentials to the test to make sure they work with other platforms.
Black-Box Worst Case Execution Time (WCET) Estimation of Realtime Robotic Algorithms
The project aims to measure the Worst Case Execution Time (WCET) in real-time robotics applications. To achieve this, we have explored AI and search-based algorithms to identify inputs that maximize a multi-objective fitness function.
Using Language Models for Automated Test Case Generation and Repair
In this project, we use advanced language models to make test case generation and repair more accurate and precise. We treat test generation and repair as a language translation task, allowing us to automatically generate and repair test cases.