Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.

Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal

Browse the full TACAS paper archive.