Jacob, KerstinKerstinJacob2025-03-052025-03-052024979-8-4007-0612-7https://fis.uni-bamberg.de/handle/uniba/106849engIntegrating Mutation Techniques to Keep Specification and Source Code in Syncconferenceobject10.1145/3650212.3685556https://dl.acm.org/doi/pdf/10.1145/3650212.3685556