QuickCheck for VDM. - Nick Battle; Markus Solecki Ellyton (CoRR, 2024)