Fahad Nayyar

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Computer Controlled

Industrial Strength

Top Venues

Publications

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