Publications en collaboration avec des chercheurs de University of Sheffield (2)

2021

  1. Mutation testing for robochart

    Software Engineering for Robotics (Springer International Publishing), pp. 345-375

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings