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
Research output: Contribution to journal › Article › peer-review
123
Downloads
(Pure)