BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code

by Adrian Nistor , Qingzhou Luo , Michael Pradel , Thomas R. Gross , Darko Marinov
Citations:12 - 4 self

Active Bibliography

Program analyses for automatic and . . . – Michael Pradel - 2012
20 ConSeq: Detecting Concurrency Bugs through Sequential Errors – Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas Reps
1 InstantCheck: Checking the Determinism of Parallel Programs Using On-the-fly Incremental Hashing – Adrian Nistor, Darko Marinov, Josep Torrellas
3 Fully Automatic and Precise Detection of Thread Safety Violations – Michael Pradel, Thomas R. Gross
34 ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach – Wei Zhang, Chong Sun, Shan Lu
22 Instrumentation and sampling strategies for Cooperative Concurrency Bug Isolation – Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu - 2010
Efficient Concurrency-Bug Detection Across Inputs – Dongdong Deng, Wei Zhang, Shan Lu
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach – Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps
15 Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs – Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng - 2010