External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal. Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 433-452, Springer, 2023. [doi]

Authors

Pantazis Deligiannis

This author has not been identified. Look up 'Pantazis Deligiannis' in Google

Aditya Senthilnathan

This author has not been identified. Look up 'Aditya Senthilnathan' in Google

Fahad Nayyar

This author has not been identified. Look up 'Fahad Nayyar' in Google

Chris Lovett

This author has not been identified. Look up 'Chris Lovett' in Google

Akash Lal

This author has not been identified. Look up 'Akash Lal' in Google
runs on