Time for Networks: Mutation Testing for Timed Automata Networks

David Cortés, James Jerson Ortiz Vega, Davide Basile, Jesús Alexander Aranda Bueno, Gilles Perrouin, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un événement scientifique (non publié)PapierRevue par des pairs

70 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « Time for Networks: Mutation Testing for Timed Automata Networks ». Ensemble, ils forment une empreinte digitale unique.

INIS

Computer Science

Keyphrases