Mutation testing for industrial robotic systems

Dos Santos, Marcela Gonçalves, Hallé, Sylvain and 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.

The full text of this document is not available here.

Rechercher dans Google Scholar

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

Item Type:	Conference proceeding
Editors:	Editors ORCID Luckcuck, Matt UNSPECIFIED Schwammberger, Maike UNSPECIFIED Xu, Mengwei UNSPECIFIED
Additional Information:	was co-located with the 20th International Conference on integrated Formal Methods, iFM 2025
Professor:	Professor Petrillo, Fabio
Affiliation:	Génie logiciel et des technologies de l'information
Date Deposited:	17 Dec 2025 15:15
Last Modified:	30 Jan 2026 16:09
URI:	https://espace2.etsmtl.ca/id/eprint/33109

Actions (login required)

View Item