Property-based testing of batch-invariant operations
mmaaz.ca