Yes, it's an active area of research. One very recent example, focusing on Dafny: https://www.amazon.science/publications/testing-dafny-experience-paper https:/

Yes, it's an active area of research. One very recent example, focusing on Dafny: https://www.amazon.science/publications/testing-dafny-experience-paper https://www.amazon.science/publications/testing-dafny-experi...