Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10504595" target="_blank" >RIV/00216208:11320/25:10504595 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-032-06847-7_7" target="_blank" >https://doi.org/10.1007/978-3-032-06847-7_7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-032-06847-7_7" target="_blank" >10.1007/978-3-032-06847-7_7</a>
Alternative languages
Result language
angličtina
Original language name
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules
Original language description
We present a new fuzzing technique for multithreaded C# programs running on the .NET platform. It is built upon the .NET Profiling library, supported by CLR (Common Language Runtime) on Windows, and uses configurable strategies for the fuzzing process. During execution of the subject program, the fuzzing algorithm controls thread scheduling and preemption through suspending and resuming threads at specific code locations that we call stop points. For the purpose of driving the fuzzing process, we have designed a hybrid systematic-random strategy that gradually finds yet unexplored thread schedules. Results of experiments with programs from the SCT benchmark collection show that our tool is able to find errors triggered by specific thread interleavings, and within practical time limits.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA23-06506S" target="_blank" >GA23-06506S: Advanced Analysis and Verification for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
31st International Symposium on Model Checking Software (SPIN 2025)
ISBN
978-3-032-06847-7
ISSN
—
e-ISSN
—
Number of pages
17
Pages from-to
125-141
Publisher name
Springer
Place of publication
Neuveden
Event location
Hamilton, ON, Canada
Event date
May 7, 2025
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—