C Artho, A Benali,
R Ramler - 2021 IEEE 21st International …, 2021 - ieeexplore.ieee.org
… JaConTeBe is a set of concurrent benchmarks taken from SIR (see below), meant to evaluate
concurrency bug … The benchmark suite consists of 20 real-world programs [77], which …