JaConTeBe stands for Java Concurrency Testing Benchmark.
The current version is 1.0, which contains 47 Java concurrency bugs from 8 open source projects.
|Project||#Bugs in JaConTeBe|
We Search on project's bug databases with key words:“concurren”, “atom”, “deadlock”, “thread”, “race”, and “synch” to get a list of concurrency bug candidates and then manually confirm them.
This excel online page is an example of how we collect bugs from project Apache DBCP.
We use DBCP 1.2 as baseline to collect bugs that are reproducible at this version. The green rows are confirmed reproducible concurrency bugs. The yellows are concurrency bugs, but are not reproducible at the baseline version. The greys are not concurrency bugs. 3 uncolored rows are other situations.
The result of running JPF with JaConTeBe can be found here at SIR site.
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen and Jianjun Zhao.JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs.In Proc. ASE, 2015. File:JaConTeBe.pdf