5

Mutation Testing for RoboChart
Robert M. Hierons, Maciej Gazda, Pablo Gómez-Abajo, Raluca Lefticaru, Mercedes G. Merayo
PDF Code Project