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
146
Téléchargements
(Pure)