ChimpCheck: property-based randomized test generation for interactive apps.

Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang

Browse the full OOPSLA paper archive.