Similar Items: Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models
Author: Inggs, Cornelia P.
- Large language models and software testing
- Detecting and quantifying resource contention in concurrent programs
- Automated coverage calculation and test case generation
- Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models
- Concrete and symbolic linearisability checking of non-blocking concurrent data structures