Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …
[PDF][PDF] Surveying concurrency bug detectors based on types of detected bugs
ZD Wu, K Lu, XP Wang - Information Sciences, 2017 - scis.scichina.com
Concurrency bugs widely exist in concurrent programs and have caused severe failures in
the real world. Researchers have made significant progress in detecting concurrency bugs …
the real world. Researchers have made significant progress in detecting concurrency bugs …
根据bug 类型综述并行bug 检测器
Z Wu, K Lu, X Wang - Science China Information Sciences, 2017 - Springer
创新点本文根据四种主要的并行bug 类型, 分别综述了数据竞争检测器, 原子性失效检测器,
顺序性失效检测器和死锁检测器, 同时还分析了其他几种和并行bug 检测相关的技术 …
顺序性失效检测器和死锁检测器, 同时还分析了其他几种和并行bug 检测相关的技术 …
A Reordering Framework for Testing Message-Passing Systems
M Irannejad, GM Tchamgoue… - 2017 IEEE 20th …, 2017 - ieeexplore.ieee.org
In a message-passing system (MPS), components communicate through messages.
However, both the time and order in which messages are delivered depend on the …
However, both the time and order in which messages are delivered depend on the …
SPDebugger: A fine-grained deterministic debugger for concurrency code
When debugging bugs, programmers often prepare test cases to reproduce buggy
behaviours. However, for concurrent programs, test cases alone are typically insufficient to …
behaviours. However, for concurrent programs, test cases alone are typically insufficient to …