We are offering the following set of projects under the SE group umbrella.
- Characterising Execution Pathways for FuzzingDescription
- Assessing LLMs’ Capabilities in Reasoning About Software Specifications
- Assessing LLMs’ Capabilities in Debugger Use
- Comparing Control-Flow and Data-Flow Based Execution Tracking
The interested students should apply here.