icse2020_artifact - Jacopo Mauro (2020)