Random testing in Isabelle/HOL

Cite this paper

@article{Berghofer2004RandomTI, title={Random testing in Isabelle/HOL}, author={Stefan Berghofer and Tobias Nipkow}, journal={Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.}, year={2004}, pages={230-239} }