Author:
Aichernig Bernhard K.,Lorber Florian,Ničković Dejan
Publisher
Springer Berlin Heidelberg
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mutation Testing for Temporal Alloy Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
4. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
5. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04