Bernhard J. Berger, Christina Plump. Automatic Security-Flaw Detection Replication and Comparison. In 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023. pages 84-94, IEEE, 2023. [doi]
Abstract is missing.