MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems

Fuente: Wiley Open Access

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jaime Cuartas, David Cortés, Joan Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre‐Yves Schobbens
Format:	Artículo Open Access
Publié:	Wiley 2024
Sujets:	Software Testing, Verification and Reliability
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet