Random Testing in Isabelle/HOL.

Stefan Berghofer, Tobias Nipkow

Browse the full SEFM paper archive.