TY - CHAP T1 - Mutation Testing for RoboChart T2 - Software Engineering for Robotics PY - 2020/12/17 AU - Hierons RM AU - Gazda M AU - Gómez-Abajo P AU - Lefticaru R AU - Merayo MG ED - DO - DOI: 10.1007/978-3-030-66494-7_11 PB - Springer International Publishing SN - 9783030664930 SP - 345 EP - 375 Y2 - 2024/12/21 ER -