Mutation testing for industrial robotic systems

Dos Santos, Marcela Gonçalves, Hallé, Stéphane et Petrillo, Fabio. 2025. « Mutation testing for industrial robotic systems ». In Proceedings of the seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025) (Paris, France, Nov. 17-19, 2025) Coll. « Electronic Proceedings in Theoretical Computer Science (EPTCS) », vol. 436. pp. 31-47. Open Publishing Association.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2...

Type de document:	Compte rendu de conférence
Éditeurs:	Éditeurs ORCID Luckcuck, Matt NON SPÉCIFIÉ Schwammberger, Maike NON SPÉCIFIÉ Xu, Mengwei NON SPÉCIFIÉ
Informations complémentaires:	was co-located with the 20th International Conference on integrated Formal Methods, iFM 2025
Professeur:	Professeur Hallé, Stéphane Petrillo, Fabio
Affiliation:	Génie mécanique, Génie logiciel et des technologies de l'information
Date de dépôt:	17 déc. 2025 15:15
Dernière modification:	17 déc. 2025 15:15
URI:	https://espace2.etsmtl.ca/id/eprint/33109

Actions (Authentification requise)

Dernière vérification avant le dépôt