Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. - Francesco Komauli; Alberto Momigliano (CILC, 2018)