Automatic Testing of Operation Invariance. - Tobias Gödderz; Janis Voigtländer (WLP/WFLP, 2014)