Similar Items: Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- An LTL verification system based on automata theory
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Reducing communication in distributed model checking
- A comparison of two different model checking techniques
- Comparative analysis of legislation governing maintenance check flight of aircraft
- Soft-decision decoding of moderate length binary cycle codes based on parity-check transformation
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