[aoli-al]

https://github.com/cmu-pasta/fray

Is a concurrency testing framework for Java. It also does deterministic simulation.