Alex Usher

According to our database, Alex Usher authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Randomised Testing of the Compiler for a Verification-Aware Programming Language.

Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024