TY  - CHAP

T1  - Mutation Testing for RoboChart

T2  - Software Engineering for Robotics

UR  - https://doi.org/10.1007/978-3-030-66494-7_11

PY  - 2021/07/05

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  - 2025/11/05

ER  -