Validating Formal Semantics by Property-Based Cross-Testing. - Péter Bereczky; Dániel Horpácsi; Judit Köszegi; Soma Szeier; Simon J. Thompson (IFL, 2020)