Data (External): "http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bugs" Reference Studies who have been using the data (in any form) are required to include the following reference: @INPROCEEDINGS{7372007, author={Lin, Ziyi and Marinov, Darko and Zhong, Hao and Chen, Yuting and Zhao, Jianjun}, booktitle={Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on}, title={JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)}, year={2015}, pages={178-189}, keywords={Benchmark testing;Computer bugs;Concurrent computing;Java;Open source software;System recovery;JaConTeBe;Java concurrency bugs;SIR;benchmark suite;evaluations}, doi={10.1109/ASE.2015.87}, month={Nov},} About the Data Overv...
Concurrency bugs are difficult to find and fix. To help with finding and fixing concurrency bugs, pr...
Fault localization is usually the most time-consuming step when debugging software bugs in general a...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
<p><strong>Data (External): </strong>"http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bu...
Developing concurrent software is error prone. Others have cataloged common bug patterns in concurre...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Software is pervasive in our daily lives. Unfortunately, software bugs can severely affect the depen...
This thesis presents a catalog of concurrency-related bug patterns. In contrast to design patterns, ...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Part 1: Full PapersInternational audienceConcurrent programming puts demands on software debugging a...
Abstract. Nowadays, multi-threaded programs are quite common and so are concurrency errors. Many wor...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Background Software systems are relying more and more on multi-core hardware requiring a parallel ap...
Concurrency bugs are difficult to find and fix. To help with finding and fixing concurrency bugs, pr...
Fault localization is usually the most time-consuming step when debugging software bugs in general a...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
<p><strong>Data (External): </strong>"http://stap.sjtu.edu.cn/index.php?title=JaConTeBe#Searched_Bu...
Developing concurrent software is error prone. Others have cataloged common bug patterns in concurre...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Software is pervasive in our daily lives. Unfortunately, software bugs can severely affect the depen...
This thesis presents a catalog of concurrency-related bug patterns. In contrast to design patterns, ...
ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defect...
Part 1: Full PapersInternational audienceConcurrent programming puts demands on software debugging a...
Abstract. Nowadays, multi-threaded programs are quite common and so are concurrency errors. Many wor...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Background Software systems are relying more and more on multi-core hardware requiring a parallel ap...
Concurrency bugs are difficult to find and fix. To help with finding and fixing concurrency bugs, pr...
Fault localization is usually the most time-consuming step when debugging software bugs in general a...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...