@inbook{inbook, title = {{Mutation Testing for RoboChart}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2020}}, month = {{12}}, author = {{Hierons RM and Gazda M and Gómez-Abajo P and Lefticaru R and Merayo MG}}, doi = {{10.1007/978-3-030-66494-7_11}}, isbn = {{9783030664930}}, pages = {{345-375}}, note = {{Accessed on 2024/12/23}}}