Towards integrating statistical model checking into property-based testing.

Bernhard K. Aichernig, Richard Schumi

Browse the full MEMOCODE paper archive.