Systematic Testing of Multithreaded Programs
We present a practical testing algorithm called ExitBlock that systematically and deterministically finds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program on a given input multiple times, enumerating meaningful schedules in order t...
| প্রধান লেখক: | , |
|---|---|
| প্রকাশিত: |
2023
|
| অনলাইন ব্যবহার করুন: | https://hdl.handle.net/1721.1/149297 |