A Proposal on Requirements for COSMIC FSM Automation from Source Code. - Ayça Tarhan; Baris Özkan 001; Gonca Canan Icoz (IWSM-Mensura, 2016)