Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. - Pantazis Deligiannis; Aditya Senthilnathan; Fahad Nayyar; Chris Lovett; Akash Lal (TACAS (2), 2023)