loom (cargo): Permutation testing for concurrent code
Keywords: atomic|lock-free