"J-ReCoVer: Java Reducer Commutativity Verifier."

Yu-Fang Chen et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics