Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Get full text

Large language models and software testing by Dewey, Marco

Get full text

Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models by Grobbelaar, Nelia

Get full text

Automated coverage calculation and test case generation by Morrison, George Campbell

Get full text

Detecting and quantifying resource contention in concurrent programs by Venter, Dirk Willem

Get full text