Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

Proceedings paper

Title:

Authors:

F. Kliber, P. Parízek

Publication:

SPIN 2025

Year:

2025

BibTeX:

@inproceedings{kliber_locating_2025,
    title = {{Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules}},
    author = {Kliber, Filip and Parizek, Pavel},
    year = {2025},
    booktitle = {{SPIN 2025}},
}