Personensuche
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
1
Time for Networks: Mutation Testing for Timed Automata Netw..:
, In:
?
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
2
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mut..:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems ,
4