Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance.

Stefan Holdermans

Browse the full PPDP paper archive.