Mutation Testing for RoboChart

Type
Publication
In Software Engineering for Robotics (Springer). pp.:345–375