Similar Items: Automated coverage calculation and test case generation
- The calculation of adsorption parameters using embedded atom methods
- Automated stratigraphic classification and feature detection from images of borehole cores
- A design based research on students' understanding of quadratic inequalities in a graphing calculator enhanced environment
- Robust multi-H2 output-feedback approach to aerial refuelling automation of large aircraft via linear matrix inequalities
- A critical analysis of two refactoring tools
- CONTENT ANALYSIS OF NEWSPAPER COVERAGE AND FARMERS’ READERSHIP OF AGRICULTURAL NEWS IN NIGERIA
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