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

Proceedings paper

Title:

Authors:

F. Kliber, P. Parízek

Publication:

31st International Symposium on Model Checking Software (SPIN 2025)

DOI:

10.1007/978-3-032-06847-7_7

Year:

2025

Link:

https://doi.org/10.1007/978-3-032-06847-7_7

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 = {{31st International Symposium on Model Checking Software (SPIN 2025)}},
    publisher = {Springer},
    series = {{Lecture Notes in Computer Science}},
    doi = {10.1007/978-3-032-06847-7_7},
    pages = {125--141},
    url = {https://doi.org/10.1007/978-3-032-06847-7_7},
    volume = {15945},
}