Language-Based Software Testing. - Steinhöfel, Dominic; Zeller, Andreas (Communications of the ACM, 2024)