An Approach to Identify and Classify State Machine Changes from Code Changes. - Matheus de Oliveira Barbosa; Franklin Ramalho (SBCARS, 2020)