Delta-Oriented Testing for Finite State Machines Mahsa Varshosaz, Harsh Beohar AVOCS 2014 Centre for Research on Embedded Systems (CERES) Halmstad University.