@inproceedings{deligiannis2023industrial-strength,
author = {Deligiannis, Pantazis and Senthilnathan, Aditya and Nayyar, Fahad and Lovett, Chris and Lal, Akash},
title = {Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote},
booktitle = {TACAS},
year = {2023},
month = {April},
abstract = {This paper describes the design and implementation of the open-source tool Coyote for testing concurrent programs written in the C# language. Coyote provides algorithmic capabilities to explore the state-space of interleavings of a concurrent program, with deterministic repro for any bug that it finds. Coyote encapsulates multiple ideas from the research community to offer state-of-the-art testing for C# programs, as well as an efficiently engineered implementation that has been shown robust enough to support industrial use.},
url = {http://approjects.co.za/?big=en-us/research/publication/industrial-strength-controlled-concurrency-testing-for-c-programs-with-coyote/},
}