MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems

Jaime CUARTAS GRANADA, David Cortés, Joan Sebastian BETANCOURT ARIAS, Jesus Alexander ARANDA BUENO, Maxime Cordy, James Jerson Ortiz Vega, Gilles Perrouin, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

45 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems ». Ensemble, ils forment une empreinte digitale unique.

Keyphrases

Computer Science

INIS