This repository includes multi-threaded Java/C/C++ subjects with concurrency bugs.
- IBM Contest Benchmark Suite: It is a collection of small Java programs (less than 1KLOC). You can download the original programs by contacting Shmuel Ur at IBM.
- Java Collection Library: Java Collection Libraries may crash when they are not appropriately used. This repository has the source code of Java 1.4 and test cases.
- This repository has other programs and test cases.
- You may get other large Java programs at the CalFuzzer homepage.
- You may get other large Java programs, such as Derby and Tomcat, at the leap homepage.
- Toy Benchmark Programs: This repository includes toy benchmark programs (less than 1KLOC), extracted from real bugs in mysql and mozilla. These programs are written by Jie Yu.
- You may get other large C/C++ programs, such as apache and mysql, concurrency bug collection.