Deligiannis, P., Senthilnathan, A., Nayyar, F., Lovett, C., & Lal, A. (2023). Industrial-Strength Controlled Concurrency Testing for Programs With Coyote. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 433–452. https://doi.org/10.1007/978-3-031-30820-8_26