Author:
Aichernig Bernhard K.,Auer Jakob,Jöbstl Elisabeth,Korošec Robert,Krenn Willibald,Schlick Rupert,Schmidt Birgit Vera
Publisher
Springer International Publishing
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
2. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
3. Survey of Model-Based Security Testing Approaches in the Automotive Domain;IEEE Access;2023
4. Differential testing of simulation-based VM generators;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
5. Differential Testing of Simulation-Based Virtual Machine Generators;Reuse and Software Quality;2022