JBench: A Dataset of Data Races for Concurrency Testing
暂无分享,去创建一个
Xian Zhang | Xin Yang | Yu Jiang | Han Liu | Jian Gao | Weiliang Ying | Han Liu | Yu Jiang | Jian Gao | Weiliang Ying | Xin Yang | Xian Zhang
[1] Markus Schordan,et al. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools , 2017, SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.
[2] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[3] Eitan Farchi,et al. Concurrent bug patterns and how to test them , 2003, Proceedings International Parallel and Distributed Processing Symposium.
[4] L.A. Smith,et al. A Parallel Java Grande Benchmark Suite , 2001, ACM/IEEE SC 2001 Conference (SC'01).
[5] Jianjun Zhao,et al. JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) , 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[6] Stephen N. Freund,et al. FastTrack: efficient and precise dynamic race detection , 2009, PLDI '09.
[7] Yu Jiang,et al. SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
[8] Chao Wang,et al. Generating Data Race Witnesses by an SMT-Based Analysis , 2011, NASA Formal Methods.
[9] David Hovemeyer,et al. Finding bugs is easy , 2004, SIGP.
[10] Koushik Sen,et al. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs , 2009, CAV.
[11] Mingzhe Wang,et al. Fuzz testing in practice: Obstacles and solutions , 2018, 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER).
[12] Leon Stenneth,et al. An empirical study of data race detector tools , 2013, 2013 25th Chinese Control and Decision Conference (CCDC).
[13] Grigore Rosu,et al. Maximal sound predictive race detection with control flow abstraction , 2014, PLDI.
[14] Klaus Havelund,et al. Towards a framework and a benchmark for testing tools for multi‐threaded programs , 2007, Concurr. Comput. Pract. Exp..
[15] Lawrence Rauchwerger,et al. Finding schedule-sensitive branches , 2015, ESEC/SIGSOFT FSE.