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:7 - 3 self

Active Bibliography

Efficient Concurrency-Bug Detection Across Inputs – Dongdong Deng, Wei Zhang, Shan Lu
25 ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach – Wei Zhang, Chong Sun, Shan Lu
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach – Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps
1 InstantCheck: Checking the Determinism of Parallel Programs Using On-the-fly Incremental Hashing ∗ – Adrian Nistor, Darko Marinov, Josep Torrellas
18 ConSeq: Detecting Concurrency Bugs through Sequential Errors – Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas Reps
Program analyses for automatic and . . . – Michael Pradel - 2012
2 Fully Automatic and Precise Detection of Thread Safety Violations – Michael Pradel, Thomas R. Gross
Acknowledgments – Caitlin Harrison Sadowski, Caitlin Harrison Sadowski, Caitlin Harrison Sadowski - 2012
19 Instrumentation and sampling strategies for Cooperative Concurrency Bug Isolation – Guoliang Jin, Aditya Thakur, Ben Liblit, Shan Lu - 2010
12 Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs ∗ – Yao Shi, Shan Lu, Soyeon Park, Yuanyuan Zhou, Zuoning Yin, Wenguang Chen, Weimin Zheng
1 Understanding the Interleaving-Space Overlap across Inputs and Software Versions – Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, Shan Lu
7 Automated Concurrency-Bug Fixing – Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, Shan Lu
Testing and Debugging – Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam
5 RADBench: A Concurrency Bug Benchmark Suite – Nicholas Jalbert, Cristiano Pereira, Koushik Sen, Gilles Pokam - 2011
13 Falcon: Fault Localization in Concurrent Programs ∗ – Sangmin Park, Richard W. Vuduc, Mary Jean Harrold
6 Demanddriven software race detection using hardware performance counters – Joseph L. Greathouse, Matthew I. Frank, Ramesh Peri, Zhiqiang Ma, Todd Austin - 2011
RACEZ: A Lightweight and Non-Invasive Race Detection Tool for Production Applications – unknown authors
15 2ndstrike: toward manifesting hidden concurrency typestate bugs – Qi Gao, Facebook Inc, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin - 2011
UNDERSTANDING, DETECTING AND EXPOSING CONCURRENCY BUGS BY – Shan Lu