F. Kliber, P. Parízek:
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules, in 31st International Symposium on Model Checking Software (SPIN 2025), pp. 125-141, 2025
DOI: 10.1007/978-3-032-06847-7_7
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules, in 31st International Symposium on Model Checking Software (SPIN 2025), pp. 125-141, 2025
DOI: 10.1007/978-3-032-06847-7_7
P. Parízek, F. Kliber:
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs, in Proceedings of JPF Workshop 2022, pp. 27-31, 2023
DOI: 10.1145/3573074.3573082
P. Parízek, F. Kliber:
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022