Pablo Gómez-Abajo
Pablo Gómez-Abajo
Home
Experience
Accomplishments
Projects
Publications
Contact
Light
Dark
Automatic
Mutation Testing for RoboChart
Robert M. Hierons
,
Maciej Gazda
,
Pablo Gómez-Abajo
,
Raluca Lefticaru
,
Mercedes G. Merayo
June, 2021
PDF
Code
Project
Type
Book
Publication
In
Software Engineering for Robotics (Springer)
. pp.:345–375
Cite
×