MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL-Reference-Cited by-同舟云学术

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

Published:2023-04 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
language:
Short-container-title:

Author:

Cuartas Jaime¹,Aranda Jesús¹,Cordy Maxime²,Ortiz James³,Perrouin Gilles⁴,Schobbens Pierre-Yves⁴

Affiliation:

1. Universidad del Valle,Cali,Colombia

2. University of Luxembourg,SnT,Luxembourg,Luxembourg

3. University of Namur,FOCUS/NaDI,Namur,Belgium

4. University of Namur,PReCISE/NaDI,Namur,Belgium

Publisher

IEEE

Link

Reference44 articles.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Time for Networks: Mutation Testing for Timed Automata Networks;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

3. Formal Verification of a Mechanical Ventilator using UPPAAL;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18