Improved semantics and implementation through property-based testing with QuickCheck.

Huiqing Li, Simon J. Thompson

Browse the full ICSE paper archive.